Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan
Justifying proofs using memo tables
PPDP, 2000.
@inproceedings{PPDP-2000-RoychoudhuryRR,
author = "Abhik Roychoudhury and C. R. Ramakrishnan and I. V. Ramakrishnan",
booktitle = "{Proceedings of the Second International Conference on Principles and Practice of Declarative Programming}",
doi = "10.1145/351268.351290",
pages = "178--189",
title = "{Justifying proofs using memo tables}",
year = 2000,
}