Search results for: D. W. Loveland
Lecture Notes in Computer Science > 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 > 97-109
Journal of Automated Reasoning > 1997 > 19 > 1 > 117-141
Lecture Notes in Computer Science > 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 > 97-109
Journal of Automated Reasoning > 1997 > 19 > 1 > 117-141