Search results for: Stefan Schlobach
Journal of Automated Reasoning > 2011 > 46 > 1 > 43-80
Journal of Automated Reasoning > 2007 > 39 > 3 > 317-349
Journal of Automated Reasoning > 2011 > 46 > 1 > 43-80
Journal of Automated Reasoning > 2007 > 39 > 3 > 317-349