Timothy J. Hickey Shyam Mudambi Global Compilation of Prolog. 193-230 1989 7 J. Log. Program. 3 db/journals/jlp/jlp7.html#HickeyM89