Luís Moniz Pereira Miguel Calejo A Framework for Prolog Debugging. 481-495 1988 ICLP/SLP db/conf/iclp/iclp88.html#PereiraC88