Proceedings-Artikel
Equational Proof-Planning by Dynamic Abstraction
Serge Autexier; Dieter Hutter
In: U. Furbach; M. P. Bonacina (Hrsg.). International Workshop on First-Order Theorem Proving - FTP97. Linz, Australia, Pages 1-6, RISC-Linz Report Series No. 97-50, 1997.