Search results for: Sandrine Blazy
Journal of Automated Reasoning > 2019 > 63 > 2 > 369-392
Journal of Automated Reasoning > 2019 > 62 > 4 > 433-480
Journal of Automated Reasoning > 2018 > 60 > 3 > 255-256
Journal of Automated Reasoning > 2016 > 56 > 3 > 283-308
Journal of Automated Reasoning > 2009 > 43 > 3 > 263-288
Journal of Automated Reasoning > 2008 > 41 > 1 > 1-31