Luís Moniz Pereira Miguel Calejo Algorithmic Debugging of Prolog Side-Effects. 151-162 1989 conf/epia/1989 EPIA db/conf/epia/epia1989.html#PereiraC89