EXACT - Model-based Diagnosis for Satellite Testing. - Henrik Smith-Meyer; Reimund Küke; Kjell Tangen (SCAI, 1995)

Large-scale Use and Exchange of Classification Rules in the Maritime Industry. - Kjell Tangen (Rule Languages for Interoperability, 2005)