Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
2026
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
2020
Systematic Program Design Systematic Program Design
2013