Adrian Groza Modelling Puzzles in First Order Logic - Springer Nature 2021 One time purchase [Perpetual access] ISSN: 9783030625474 Subjects--Topical Terms: Computer Science