@inproceedings{LOPSTR-2014-AriasLM,
author = "Emilio Jesús Gallego Arias and James Lipton and Julio Mariño-Carballo",
booktitle = "{Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation}",
doi = "10.1007/978-3-319-17822-6_17",
isbn = "978-3-319-17821-9",
pages = "299--316",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Declarative Compilation for Constraint Logic Programming}",
volume = 8981,
year = 2014,
}
Tags: