by VAN HERTUM, PIETER, DASSEVILLE, INGMAR, JANSSENS, GERDA, DENECKER, MARC
Published in Theory and practice of logic programming (01.01.2017)

by Dasseville, Ingmar, Denecker, Marc
Published in Functional and Constraint Logic Programming (2019)

by Dasseville, Ingmar, Janssens, Gerda
Published in Functional and Constraint Logic Programming (2019)

by DASSEVILLE, INGMAR, VAN DER HALLEN, MATTHIAS, JANSSENS, GERDA, DENECKER, MARC
Published in Theory and practice of logic programming (01.07.2015)

by Cramer, Marcos, Van Hertum, Pieter, Lapauw, Ruben, Dasseville, Ingmar, Denecker, Marc
Published in 2016 IEEE 29th Computer Security Foundations Symposium (CSF) (01.06.2016)

by Dasseville, Ingmar, Janssens, Gerda
Year of Publication 23.08.2018

by Dasseville, Ingmar, Denecker, Marc
Year of Publication 23.08.2018

by Pieter, Van Hertum, Dasseville, Ingmar, Janssens, Gerda, Denecker, Marc
Published in Practical Aspects of Declarative Languages (2016)

by Dasseville, Ingmar, Janssens, Gerda
Year of Publication 03.11.2015

by Dasseville, Ingmar, Denecker, Marc
Published in arXiv.org (23.08.2018)

by Dasseville, Ingmar, Janssens, Gerda
Published in arXiv.org (23.08.2018)

by Lapauw, Ruben, Dasseville, Ingmar, Denecker, Marc
Year of Publication 03.11.2015

by Dasseville, Ingmar, Janssens, Gerda
Published in arXiv.org (03.11.2015)

by Dasseville, Ingmar, van der Hallen, Matthias, Janssens, Gerda, Denecker, Marc
Published in arXiv.org (24.07.2015)

by Pieter Van Hertum, Dasseville, Ingmar, Janssens, Gerda, Denecker, Marc
Published in arXiv.org (06.05.2016)

by Lapauw, Ruben, Dasseville, Ingmar, Denecker, Marc
Published in arXiv.org (03.11.2015)