Christoph Walther Stephan Schweitzer Reasoning About Incompletely Defined Programs. 427-442 2005 conf/lpar/2005 LPAR http://dx.doi.org/10.1007/11591191_30 db/conf/lpar/lpar2005.html#WaltherS05