Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code. - Timothy G. Lindholm; Richard A. O'Keefe (ICLP, 1987)