Bart Demoen, Konstantinos F. Sagonas
CAT: The Copying Approach to Tabling
PPDP, 1998.
@inproceedings{ALP-PLILP-1998-DemoenS,
author = "Bart Demoen and Konstantinos F. Sagonas",
booktitle = "{Proceedings of the 10th International Symposium on Principles of Declarative Programming, Held Jointly with the Seventh International Conference on Algebraic and Logic Programming}",
doi = "10.1007/BFb0056605",
isbn = "3-540-65012-1",
pages = "21--35",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{CAT: The Copying Approach to Tabling}",
volume = 1490,
year = 1998,
}
Tags: