Dmitri Boulanger Complete Analysis for Definite Logic Programs. 101-110 1995 WLP db/conf/wlp/wlp95.html#Boulanger95