Practical Aspects of Declarative LanguagesMartin Gebser, Ilya Sergey · First published 2024Open the Tome
Logics in Artificial IntelligenceWolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak · First published 2021Open the Tome
Answer Set Solving in PracticeMartin Gebser, Roland Kaminski, Benjamin Kaufmann · First published 2012Open the Tome