Predicate Logic as a Modeling Language: The IDP System
Publication date:
2018-09-20
Pages:
279 -
329
ISSN:
978-1-97000-199-0
DOI:
10.1145/3191315
Publisher:
ACM Books
Author:
De Cat, Broes
Bogaerts, Bart ; Bruynooghe, M ; Janssens, G ; Denecker, Marc ; Kifer, Michael Kifer ; Liu, Yanhong Annie