An implementation of a dissolution-based system employing theory links

9th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0012864 ◽

2005 ◽

pp. 658-674 ◽

Cited By ~ 1

Author(s):

Neil V. Murray ◽

Erik Rosenthal