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.