Antonis Troumpoukis, Angelos Charalambidis
Predicate Specialization for Definitional Higher-Order Logic Programs
LOPSTR, 2018.
@inproceedings{LOPSTR-2018-TroumpoukisC,
author = "Antonis Troumpoukis and Angelos Charalambidis",
booktitle = "{Revised Selected Papers of the 28th International Symposium on Logic-Based Program Synthesis and Transformation}",
doi = "10.1007/978-3-030-13838-7_8",
isbn = "['978-3-030-13837-0', '978-3-030-13838-7']",
pages = "132--147",
publisher = "{Springer}",
title = "{Predicate Specialization for Definitional Higher-Order Logic Programs}",
year = 2018,
}
Tags: