Search results for: Albert Oliveras
Journal of Automated Reasoning > 2013 > 50 > 3 > 243-277
Journal of Automated Reasoning > 2012 > 48 > 1 > 107-131
Journal of Automated Reasoning > 2013 > 50 > 3 > 243-277
Journal of Automated Reasoning > 2012 > 48 > 1 > 107-131