Practical Aspects of Declarative Languages
2023년
Functional and Logic Programming
2022년
Declarative Programming and Knowledge Management
2018년
Declarative Programming and Knowledge Management
2014년
Practical Aspects of Declarative Languages
2006년
Logic-Based Program Synthesis and Transformation
2009년