Joakim Gustafsson Object-Oriented Reasoning about Action and Change. 53-64 2001 conf/scai/2001 SCAI db/conf/scai/scai2001.html#Gustafsson01