Christer Bäckström. Equivalence and Tractability Results for SAS+ Planning. In KR. pages 126-137, 1992.
@inproceedings{Backstrom92, title = {Equivalence and Tractability Results for SAS+ Planning}, author = {Christer Bäckström}, year = {1992}, researchr = {https://researchr.org/publication/Backstrom92}, cites = {0}, citedby = {0}, pages = {126-137}, booktitle = {KR}, }