Alessandro Armando, Alessandro Cimatti, Luca Viganò. Building and Executing Proof Strategies in a Formal Metatheory. In Pietro Torasso, editor, Advances in Artificial Intelligence, Third Congress of the Italian Association for Artificial Intelligence, AI*IA 93, Torino, Italy, October 26-28, 1993, Proceedings. Volume 728 of Lecture Notes in Computer Science, pages 11-22, Springer, 1993.
Abstract is missing.