Planning as Model Checking (1999)

by F Giunchiglia, P Traverso
Venue:In Proc. The 5th European Conf. on Planning (ECP’99), 1–20