Examples that can do harm in learning programming. - Katherine M. Malan; Ken Halland (OOPSLA Companion, 2004)

Investigations into the use of SNOMED CT to enhance an OpenMRS health information system. - Ken Halland; Katarina Britz; Aurona Gerber (South Afr. Comput. J., 2011)

Naive ABox abduction in ALC using a DL tableau. - Ken Halland; Katarina Britz (Description Logics, 2012)

ABox abduction in ALC using a DL tableau. - Ken Halland; Katarina Britz (SAICSIT, 2012)

TBox Abduction in ALC Using a DL Tableau. - Ken Halland; Arina Britz; Szymon Klarman (Description Logics, 2014)