Timothy G. Lindholm Richard A. O'Keefe Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code. 21-39 1987 ICLP db/conf/iclp/iclp87.html#LindholmO87