"Reasoning About Actions: Steady Versus Stabilizing State Constraints."

Michael Thielscher (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics