Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey
A General Implementation Framework for Tabled CLP
FLOPS, 2012.
@inproceedings{FLOPS-2012-GuzmanCHS,
author = "Pablo Chico de Guzmán and Manuel Carro and Manuel V. Hermenegildo and Peter J. Stuckey",
booktitle = "{Proceedings of the 11th International Symposium on Functional and Logic Programming}",
doi = "10.1007/978-3-642-29822-6_11",
isbn = "978-3-642-29821-9",
pages = "104--119",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{A General Implementation Framework for Tabled CLP}",
volume = 7294,
year = 2012,
}
Tags: