J. Otten, “The Pocket Reasoner -- Automatic Reasoning on Small Devices”, NIKT, Aug. 2018.