Evelina Lamma, Paola Mello. An assumption-based truth maintenance system dealing with non-ground justifications. J. Exp. Theor. Artif. Intell., 8(1):21-42, 1996.
@article{LammaM96,
title = {An assumption-based truth maintenance system dealing with non-ground justifications},
author = {Evelina Lamma and Paola Mello},
year = {1996},
tags = {rule-based, maintenance},
researchr = {https://researchr.org/publication/LammaM96},
cites = {0},
citedby = {0},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {8},
number = {1},
pages = {21-42},
}