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)
V. Chaudhdri, N. Dinesh, S. Heymans, and M. Wessel. Proc. of 3rd International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR), Beijing, China, (August 2013)
V. Chaudhri, M. Wessel, and S. Heymans. In KInAR - Knowledge Intensive Automated Reasoning Workshop at CADE-24, the 24th International Conference on Automated Deduction, Lake Placid, New York, USA, (June 2013)