Geraint A. Wiggins Negation and Control on Automatically Generated Logic Programs. 250-264 1992 conf/meta/1992 META db/conf/meta/meta92.html#Wiggins92 https://doi.org/10.1007/3-540-56282-6_17