A Type Based Debugging Tool for Untyped Logic Languages.

Ulrich Geske, Mario Lenz

Browse the full ICLP paper archive.