Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation.

Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen

Browse the full PPDP paper archive.