Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen
Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation
PPDP, 2014.
@inproceedings{PPDP-2014-SchrijversWDD, author = "Tom Schrijvers and Nicolas Wu and Benoit Desouter and Bart Demoen", booktitle = "{Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming}", doi = "10.1145/2643135.2643145", isbn = "978-1-4503-2947-7", pages = "259--270", publisher = "{ACM}", title = "{Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation}", year = 2014, }