author : Wlodek Drabent

Short works

• Algorithmic debugging with assertions. 1989. (In Meta-Programming in Logic Programming )