Otten, J. 2018. The Pocket Reasoner -- Automatic Reasoning on Small Devices. Norsk IKT-konferanse for forskning og utdanning. (Aug. 2018).