@inproceedings{561a7c2933d8420390188cd6d6cafbd4,
title = "Challenges in the specialisation of smart horn clause interpreters",
author = "Gallagher, {John P.}",
year = "2019",
month = jul,
day = "9",
doi = "10.4204/eptcs.296.3",
language = "English",
volume = "296",
pages = "3--5",
journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",
issn = "2075-2180",
publisher = "Open Publishing Association",
note = "6th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2019 and 3rd Workshop on Program Equivalence and Relational Reasoning, PERR 2019 ; Conference date: 06-04-2019 Through 07-04-2019",
}