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)

Fast Decompilation of Compiled Prolog Clauses. - Kevin A. Buettner (ICLP, 1986)

Assertive Demons. - Jonathan Wayne Mills; Kevin A. Buettner (ICLP/SLP, 1988)