Alexander Bochman Production Inference, Nonmonotonicity and Abduction. 2004 conf/amai/2004 AMAI http://rutcor.rutgers.edu/~amai/aimath04/AcceptedPapers/Bochman-aimath04.pdf db/conf/amai/amai2004.html#Bochman04