Erik Sandewall. Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change. In Oded Maler, editor, Hybrid and Real-Time Systems, International Workshop. HART 97, Grenoble, France, March 26-28, 1997, Proceedings. Volume 1201 of Lecture Notes in Computer Science, pages 3-17, Springer, 1997.
Abstract is missing.