Otten, Jens. 2018. “The Pocket Reasoner -- Automatic Reasoning on Small Devices”. Norsk IKT-Konferanse for Forskning Og Utdanning, August. https://www.ntnu.no/ojs/index.php/nikt/article/view/5368.