The use of planning critics in mechanizing inductive proofs (1992)

by A Ireland
Venue:In Proc of LPAR’92, LNCS 624