1. Bruynooghe, M., Schreye, D.D., Krekels, B.: Compiling control. In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, 22–25 September 1986, pp. 70–77. IEEE-CS (1986)
2. Bruynooghe, M., Schreye, D.D., Krekels, B.: Compiling control. J. Log. Program. 6(1&2), 135–162 (1989)
3. Bruynooghe, M.: A practical framework for the abstract interpretation of logic programs. J. Log. Program. 10(2), 91–124 (1991)
4. Komorowski, H.J.: A specification of an abstract Prolog machine and its application to partial evaluation. Ph.D. thesis, VTT Grafiska (1981)
5. Gallagher, J.P.: Transforming logic programs by specialising interpreters. In: ECAI, vol. I, pp. 313–326 (1986)