References

[MCH09]

J.F. Morales, M. Carro, and M. V. Hermenegildo.
Description and Optimization of Abstract Machines in a Dialect of Prolog.
Technical Report CLIP4/2009.0, Technical University of Madrid (UPM), School of Computer Science, UPM, October 2009.

[Mor10]

J.F. Morales.
Advanced Compilation Techniques for Logic Programming.
PhD thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, July 2010.