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