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

Stavros Vassos Gerhard Lakemeyer Hector J. Levesque First-Order Strong Progression for Local-Effect Basic Action Theories. 662-672 2008 KR conf/kr/2008 db/conf/kr/kr2008.html#VassosLL08