Parameterized Abstractions used for Proof-Planning
@techreport{AuHu-97-a, author = {Autexier, Serge and Hutter, Dieter}, title = {Parameterized Abstractions used for Proof-Planning}, type = {Research Report}, number = {RR-97-04}, institution = {DFKI GmbH}, address = {Stuhlsatzenhausweg 3, 66041 Saarbr\"ucken}, month = {february}, year = {1997}, }