Debugging Tools for Concurrent Logic Programming
scientific article