D. Carrington, and K. Robinson. CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 381-394. DIMACS/AMS, (1990)
L. Carrington, A. Snavely, X. Gao, and N. Wolter. International Conference on Computational Science, volume 2659 of Lecture Notes in Computer Science, page 926-935. Springer, (2003)