Consel and Siau-Cheng Khoo. Semantics directed generation of a Prolog compiler (1991)

by Charles
Venue:Proc. Programming Language Implementation and Logic Programming '91