Linköping University
Department of Computer and
Information Science
Publication
Register
Christer Bäckström.
Expressive equivalence of planning formalisms.
This article was first published in
Artificial Intelligence,
Vol. 76 (1-2) (1995), pp. 17-34.
An extended version of this article was published as IDA departmental
technical report LiTH-IDA-R-95-03, with the same title, and is available
on-line in
postscript
form.
[abstract],