An automatic debugging approach for logic programming with a method for propagating constraints.

Tetsuji Fukaya, Morio Nagata

Browse the full COMPSAC paper archive.