- Encyclopedia of Information Science and Technology I, Idea Group, (2005)
- IEEE Software 19(5):86-93 (2002)
- Artif. Intell. 39(2):231-244 (1989)
- Studia Logica 74(3):441-468 (2003)
- Scholarpedia 6(2):2371 (2011)
- Proceedings of the National Academy of Sciences of the United States of America 101(22):8449–8454 (June 2004)PMC420414 .
- Journal of Bacteriology 186(23):7959--70 (December 2004)PMID: 15547268 .
- Commun. ACM 51(7):91-97 (2008)
- ISCA, page 1-12. ACM, (2007)
- Studia Logica 97(1):183-198 (2011)
- Notre Dame Journal of Formal Logic 51(1):69-84 (2010)
- ICLA, volume 6521 of Lecture Notes in Computer Science, page 12-18. Springer, (2011)
- Universal Access in the Information Society 5(2):170-179 (2006)
- Universal Access in the Information Society 9(4):367-374 (2010)
- Behaviour & IT 26(3):189-195 (2007)
- Bioinformatics 26(12):1500-1505 (2010)
- IDA, volume 6065 of Lecture Notes in Computer Science, page 137-146. Springer, (2010)
- J. Symb. Log. 65(4):1519-1529 (2000)
- J. Symb. Log. 63(2):439-450 (1998)
- Minimum requirements for reporting analytical data for environmental samples: IUPAC technical reportPure and Applied Chemistry 74(8):1097-1106 (2003)


author