Debugging logic programs using specifications - Lee, Yuh-jeng; Dershowitz, Nachum; Goos, Gerhard, editor; Hartmanis, Juris, editor; Fritzson, Peter A., editor (Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings, 1993)