An Abstraction for Proof-Planning: The S-Abstraction
@techreport{Au-97-a, author = {Autexier, Serge}, title = {An Abstraction for Proof-Planning: The S-Abstraction}, type = {SEKI Report}, number = {SR-97-05}, institution = {FR 6.2 Informatik, Saarland University}, address = {Postfach 15 11 50, 66041 Saarbr\"ucken}, month = {june}, year = {1997}, }