Planning within First-Order Dynamic Logic (1982)

by H A Kautz
Venue:In Proceedings of the CSCSI/SCEIO