Compiling recursive Prolog programs with list structure into procedural languages.

Young K. Nam, Lawrence J. Henschen

Browse the full COMPSAC paper archive.