Abstract interpretations & abstract machines : contributions to a methodology for the implementation of logic programs - Nilsson, Ulf (Linköping studies in science and technology -dissertations- ;, 1992)