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