Alan Bundy Tutorial Notes: Reasoning about Logic Programs. 252-277 1992 conf/lpss/1992 Logic Programming Summer School db/conf/lpss/lpss92.html#Bundy92 http://dx.doi.org/10.1007/3-540-55930-2_18