V. Chaudhri, M. Wessel, und S. Heymans. In KInAR - Knowledge Intensive Automated Reasoning Workshop at CADE-24, the 24th International Conference on Automated Deduction, Lake Placid, New York, USA, (Juni 2013)
D. Nieuwenborgh, S. Heymans, und D. Vermeir. Proc. of Seventh International Symposium on Practical Aspects of Declarative Languages (PADL 2005), Volume 3350 von Lecture Notes in Computer Science, Seite 128-142. Springer, (2005)
C. Feier, und S. Heymans. Proceedings of 6th Annual European Semantic Web Conference (ESWC 2009), Volume 5554 von Lecture Notes in Computer Science, Seite 338-352. Heraklion, Greece, Springer, (Juni 2009)
Z. Ma, B. Wetzstein, D. Anicic, S. Heymans, und F. Leymann. Proceedings of the International Workshop on Semantic Business Process Management (SBPM 2007), Volume 251 von CEUR Workshop Proceedings, CEUR-WS.org, (2007)
J. de Bruijn, und S. Heymans. Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR 2007), Volume 4524 von Lecture Notes in Computer Science, Seite 103-117. Springer, (2007)
M. Stollberg, U. Keller, H. Lausen, und S. Heymans. Proceedings of the 4th European Semantic Web Conference (ESWC), Volume 4519 von Lecture Notes in Computer Science, Seite 99-113. Springer, (2007)