Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency (1997)

by T L McCluskey, J Porteous
Venue:Artificial Intelligence