Visit Hirankitti Christopher J. Hogger A Generalised Query Minimisation for Program Debugging. 153-170 1993 conf/aadebug/1993 AADEBUG db/conf/aadebug/aadebug93.html#HirunkittiH93