31st International Conference on Logic Programming, 20-27 September (virtual). The Reasoner, v. 15, n. 5, 1 Nov.2021.