- AMCIS, page 353. Association for Information Systems, (2003)
- CoRR (2010)
- CoRR (2002)
- IEEE Journal on Selected Areas in Communications 11(2):173-180 (1993)
- J. Cognitive Neuroscience 23(11):3620-3636 (2011)
- IEEE Internet Computing 1(2):6-17 (1997)
- J. Log. Comput. 21(5):715-716 (2011)
- Behaviour & IT 30(4):467-471 (2011)
- Logical Methods in Computer Science (2011)
- LPAR, volume 3452 of Lecture Notes in Computer Science, page 496-510. Springer, (2004)
- CSL, volume 3210 of Lecture Notes in Computer Science, page 85-99. Springer, (2004)
- Commun. ACM (December 1978)
- TABLEAUX, volume 2796 of Lecture Notes in Computer Science, page 32-47. Springer, (2003)
- CSL, volume 2803 of Lecture Notes in Computer Science, page 413-426. Springer, (2003)
- TABLEAUX, volume 2381 of Lecture Notes in Computer Science, page 191-205. Springer, (2002)
- ICALT, page 7-10. (2001)
- AIED, volume 6738 of Lecture Notes in Computer Science, page 1-2. Springer, (2011)
- Commun. ACM 21(12):1040-1048 (1978)
- Commun. ACM 19(7):395-404 (1976)
- Commun. ACM 26(1):90-95 (1983)


author