Search results
Journal of Automated Reasoning > 2013 > 50 > 2 > 191-202
Expert Systems With Applications > 2012 > 39 > 5 > 5820-5828
Mathematics in Computer Science > 2008 > 2 > 2 > 305-331
Mathematics in Computer Science > 2008 > 2 > 2 > 333-353