Otten, Jens. “The Pocket Reasoner -- Automatic Reasoning on Small Devices”. Norsk IKT-konferanse for forskning og utdanning (August 8, 2018). Accessed November 23, 2024. https://www.ntnu.no/ojs/index.php/nikt/article/view/5368.