A. López, R. Llavori, and R. Dánger. ICSOFT (Selected Papers), volume 10 of Communications in Computer and Information Science, page 361-373. Springer, (2006)
P. López-García, L. Darmawan, and F. Bueno. ICLP (Technical Communications), volume 7 of LIPIcs, page 104-113. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)