V. Dahl, B. Coleman, J. Miralles, and E. Maharshak. ICLP (Technical Communications), volume 17 of LIPIcs, page 370-380. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)
S. Chinchalkar, T. Coleman, and P. Mansfield. International Conference on Computational Science (2), volume 3515 of Lecture Notes in Computer Science, page 76-83. Springer, (2005)