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: "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: Cori, R., Wirsing, M. (eds) STACS 88. STACS 1988. Lecture Notes in Computer Science, vol 294. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035864
Download citation
DOI: https://doi.org/10.1007/BFb0035864
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18834-6
Online ISBN: 978-3-540-48190-4
eBook Packages: Springer Book Archive