References
E. Eder: "An implementation of a theorem prover based on the connection method". Proc. AIMSA'84. Varna, Bulgaria, September 1984. North-Holland, 121–128.
D. Plaisted: "A structure preserving clause form translation". Journal of Symbolic Computation (1986) 2, 293–304.
M. Schmidt-Schauss: "A many-Sorted calculus with polymorphic functions based on resolution and paramodulation". Interner Bericht. Fachbereich Informatik. Universitat Kaiserslautern.
M. Schmidt-Schauss: "Unification in many sorted equational theories". Proc. 8th. CADE, Oxford, England, July 1986, 538–552.
M. Stickel: "Automated deduction by theory resolution". Journal of Automated Reasoning, Vol. 1, No 4, 1985, 333–376.
C. Walther: "A many sorted calculus based on resolution and paramodulation". Proc. 8th. IJCAI, Karlsruhe, W. Germany, August 1983, 882–891.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de la Tour, T.B., Caferra, R., Chaminade, G. (1988). Some tools for an inference laboratory (ATINF). In: Lusk, E., Overbeek, R. (eds) 9th International Conference on Automated Deduction. CADE 1988. Lecture Notes in Computer Science, vol 310. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0012877
Download citation
DOI: https://doi.org/10.1007/BFb0012877
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19343-2
Online ISBN: 978-3-540-39216-3
eBook Packages: Springer Book Archive