- Management Science 52(10):iv (2006)
- ACM Trans. Database Syst. 9(3):348-368 (1984)
- ACM Trans. Database Syst. 15(2):125-161 (1990)
- CHI 95 Conference Companion, page 158-159. ACM, (1995)
- IEEE Trans. Comput. Intellig. and AI in Games 3(4):332-347 (2011)
- CoRR (2009)
- CoRR (2009)
- IEEE Trans. Comput. Intellig. and AI in Games 3(3):229-244 (2011)
- IEEE Trans. Software Eng. 17(1):10-21 (1991)
- IEEE Computer Graphics and Applications 29(2):6-10 (2009)
- J. Symb. Comput. 26(4):509-523 (1998)
- J. Symb. Comput. 17(6):473-486 (1994)
- JSW 3(5):11-25 (2008)
- WEBIST Selected Papers, volume 75 of Lecture Notes in Business Information Processing, page 30-45. Springer, (2010)
- ISCAS, page 221-224. IEEE, (2011)
- Inf. Comput. 110(1):1-18 (April 1994)
- Inf. Comput. 114(1):115-130 (October 1994)
- J. Algorithms 19(2):250-265 (1995)
- J. Algorithms 16(1):110-144 (1994)
- Comput. J. 34(5):415-422 (1991)


author