Constraint Logic Programming with Hereditary Harrop formulas
Theory and Practice of Logic Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
The semantics of nominal logic programs
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
A Proof Theoretic View of Constraint Programming
Fundamenta Informaticae
Hi-index | 0.00 |