Author:
de la Tour Thierry Boy,Caferra Ricardo,Chaminade Gilles
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. E. Eder: "An implementation of a theorem prover based on the connection method". Proc. AIMSA'84. Varna, Bulgaria, September 1984. North-Holland, 121–128.
2. D. Plaisted: "A structure preserving clause form translation". Journal of Symbolic Computation (1986) 2, 293–304.
3. M. Schmidt-Schauss: "A many-Sorted calculus with polymorphic functions based on resolution and paramodulation". Interner Bericht. Fachbereich Informatik. Universitat Kaiserslautern.
4. M. Schmidt-Schauss: "Unification in many sorted equational theories". Proc. 8th. CADE, Oxford, England, July 1986, 538–552.
5. M. Stickel: "Automated deduction by theory resolution". Journal of Automated Reasoning, Vol. 1, No 4, 1985, 333–376.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献