Year of publication
- 1997 (1) (remove)
- PLATIN A Planning System for Inductive Theorem Proving Implementation and Experiences (1997)
- This paper provides a description of PLATIN. With PLATIN we present an imple-mented system for planning inductive theorem proofs in equational theories that arebased on rewrite methods. We provide a survey of the underlying architecture ofPLATIN and then concentrate on details and experiences of the current implementa-tion.