David Hart Ph.D. thesis, Univ. of California, Irvine, Dept. of Information and Computer Science, 2002
Cites: