Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN.

Michael Leuschel Jesper Jørgensen Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN. 1999 http://www.elsevier.nl/locate/entcs/volume30.html 30 Electr. Notes Theor. Comput. Sci. 2 db/journals/tcs/entcs30.html#LeuschelJ99