Algorithmic Debugging with Assertions (1988)

by W Drabent, S Nadjm-Tehrani, J Maluszynski
Venue:in Meta-programming in Logic Programming