The Design and Implementation of a High-Speed Incremental Portable Prolog Compiler. - Kenneth A. Bowen; Kevin A. Buettner; Ilyas Cicekli; Andrew K. Turk (ICLP, 1986)

Compiler Optimizations for the WAM. - Andrew K. Turk (ICLP, 1986)