António Porto
A structured alternative to Prolog with simple compositional semantics
ICLP, 2011.
@article{ICLP-J-2011-Porto, author = "António Porto", doi = "10.1017/S1471068411000202", journal = "{Theory and Practice of Logic Programming}", number = "4-5", pages = "611--627", title = "{A structured alternative to Prolog with simple compositional semantics}", volume = 11, year = 2011, }