- Health Informatics Journal 17(4):256-265 (2011)
- AAAI, page 298-300. AAAI Press/MIT Press, (1980)
- ICLS, page 61-68. International Society of the Learning Sciences / ACM DL, (2010)
- Meth. of Logic in CS 1(1):19-50 (1994)
- J. Log. Program. 5(1):1-31 (1988)
- J. Log. Program. 5(2):93-132 (1988)
- J. Log. Program. 17(2/3&4):323-364 (1993)
- IGARSS, page 1827-1830. IEEE, (2010)
- Fundam. Inform. 21(1/2):125-148 (1994)
- internet, (2008)
- internet, (s. a.)
- CHWP (September 2003)
- CHWP (2003)
- Internet, (November 2003)
- Center for Medieval and Renaissance Studies, UCLA, (November 1995)
- ACNS, volume 3089 of Lecture Notes in Computer Science, page 263-277. Springer, (2004)
- Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 341-259. Springer, (1983)
- IGARSS 4, page 267-270. IEEE, (2008)
- Radar Monitoring of Wetland Hydrology: Dynamic Information for the Assessment of Ecosystem Services.IGARSS 1, page 261-264. IEEE, (2008)
- Artif. Intell. Law 10(1-3):135-161 (2002)


author