V. Chaudhri, N. Dinesh, and S. Heymans. In Proc. of 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), (September 2014)
S. Cruanes, S. Heymans, I. Mason, S. Owre, and N. Shankar. Specification, Algebra, and Software: A Festschrift Symposium in Honor of Kokichi Futatsugi (SAS 2014), Kanazawa, Japan, Springer, (2014)
V. Chaudhri, S. Heymans, M. Wessel, and T. Son. Proc. of 6th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP), Istanbul, Turkey, (August 2013)
V. Chaudhri, M. Wessel, and S. Heymans. Technical Communications of 29th International Conference on Logic Programming (ICLP), Istanbul, Turkey, (August 2013)