Pascal Hitzler Towards a Systematic Account of Different Logic Programming Semantics. 105-119 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2821&spage=105 2003 conf/ki/2003 KI db/conf/ki/ki2003.html#Hitzler03