References
A. Bundy, van Harmelen. F., and A. Smaill. Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. Research Paper 459, Dept. of Artificial Intelligence, Edinburgh, 1989. To appear in the proceedings of CADE-10.
C. Horn. The Nurprl Proof Development System. Working paper 214, Dept. of Artificial Intelligence, Edinburgh, 1988. The Edinburgh version of Nurprl has been renamed Oyster.
F. van Harmelen. The CLAM Proof Planner, User Manual and Programmer Manual. Technical Paper TP-4, Dept. of Artificial Intelligence, Edinburgh, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bundy, A., van Harmelen, F., Horn, C., Smaill, A. (1990). The OYSTER-CLAM system. In: Stickel, M.E. (eds) 10th International Conference on Automated Deduction. CADE 1990. Lecture Notes in Computer Science, vol 449. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52885-7_123
Download citation
DOI: https://doi.org/10.1007/3-540-52885-7_123
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52885-2
Online ISBN: 978-3-540-47171-4
eBook Packages: Springer Book Archive