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