3 Stavros Vassos Gerhard Lakemeyer Hector. J. Levesque 2008 First-Order Strong Progression for Local-Effect Basic Action Theories 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008) Sydney, Australia AAAI Press