G. Agustín, J. Calvo-Manzano, T. Gilabert, and S. Oré. JIISIC, page 451-458. Facultad de Ciencias e Ingeniería and Departamento de Ingeniería, Pontificia Universidad Católica del Perú, (2007)
G. Bacci, M. Comini, M. Feliú, and A. Villanueva. ICLP (Technical Communications), volume 17 of LIPIcs, page 144-153. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)