Planning and patching proof (2004)

by A Bundy
Venue:In Arti¯cial Intelligence and Symbolic Computation (AISC