OTTEN, J. The Pocket Reasoner -- Automatic Reasoning on Small Devices. Norsk IKT-konferanse for forskning og utdanning, [S. l.], 2018. Disponível em: https://www.ntnu.no/ojs/index.php/nikt/article/view/5368. Acesso em: 23 nov. 2024.