The Conceptual Calculus For Automatic Program Understanding.

Daniel Goossens

Browse the full IJCAI paper archive.