M. Gómez-Zamalloa, E. Albert, and G. Puebla. Bytecode@ETAPS, volume 190 of Electronic Notes in Theoretical Computer Science, page 85-101. Elsevier, (2007)
M. Hermenegildo, G. Puebla, F. Bueno, and P. López-García. International Workshop on Constraint Solving and Constraint Logic Programming, volume 2627 of Lecture Notes in Computer Science, page 1-14. Springer, (2002)