Debugging in A-Prolog: A Logical Approach.

Mauricio Osorio, Juan Antonio Navarro Prez, Jos Arrazola

Browse the full ICLP paper archive.