Engineering and compiling planning domain models to promote validity and efficiency (1997)

by T L McCluskey, J M Porteous
Venue:Artificial Intelligence