Search results for: Donald W. Loveland
Journal of Automated Reasoning > 2016 > 56 > 2 > 99-112
New Generation Computing > 2003 > 21 > 3 > 177-207
Journal of Automated Reasoning > 2016 > 56 > 2 > 99-112
New Generation Computing > 2003 > 21 > 3 > 177-207