Meta-Interpretation of Recursive List-Processing Programs.

Daniel Goossens

Browse the full IJCAI paper archive.