Norman Y. Foo Pavlos Peppas System Properties of Action Theories. 416-427 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3397&spage=416 2004 conf/ais/2004 AIS db/conf/ais/ais2004.html#FooP04a