author- PEPM, page 63-72. ACM, (2012)
- Mathematical Structures in Computer Science 21(6):1109-1110 (2011)
- IEEE Intelligent Systems 26(6):8-13 (2011)
- CoRR (2002)
- CoRR (2009)
- CoRR (2004)
- ACM Comput. Surv. 28(2):333-336 (1996)
- J. Log. Program. 25(3):191-247 (1995)
- User Model. User-Adapt. Interact. 21(4-5):485-511 (2011)
- Sci. Comput. Program. 19(3):281-313 (1992)
- Sci. Comput. Program. 32(1-3):177-210 (1998)
- ESOP, volume 3444 of Lecture Notes in Computer Science, page 295-310. Springer, (2005)
- CSL, volume 3210 of Lecture Notes in Computer Science, page 280-294. Springer, (2004)
- Inf. Comput. 122(2):178-200 (1995)
- Inf. Comput. 145(2):153-190 (1998)
- VMCAI, volume 2575 of Lecture Notes in Computer Science, page 146-160. Springer, (2003)
- SAS, volume 2477 of Lecture Notes in Computer Science, page 461-476. Springer, (2002)
- J. Log. Comput. 3(6):579-603 (1993)
- J. Log. Comput. 8(4):457-483 (1998)
- SAS, volume 2126 of Lecture Notes in Computer Science, page 356-373. Springer, (2001)
