Jussi Rintanen. Incorporation of Temporal Logic Control into Plan Operators. In Werner Horn, editor, ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000. pages 526-530, IOS Press, 2000.
Abstract is missing.