"First-Order Strong Progression for Local-Effect Basic Action Theories."

Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics