Compiling linear recursive Prolog programs with list structure into procedural language.

Young K. Nam, Lawrence J. Henschen

Browse the full COMPSAC paper archive.