Adaptation of Declaratively Represented Methods in Proof Planning (1995)

by Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou
Venue:SEKI REPORT SR-95-12, FACHBEREICH INFORMATIK, UNIVERSIT AT DES SAARLANDES