Expressive Equivalence of Planning Formalisms
(1995) : Bäckström, Christer
DOI: https://doi.org/10.1016/0004-3702(94)00081-b
#STRIPS #formalisation #expressivity #planning #ESP_reduction #my_bibtex