Quang Huy Nguyen, Claude Kirchner, Hélène Kirchner. External Rewriting for Skeptical Proof Assistants. Journal of Automated Reasoning, 29(3-4):309-336, 2002.
@article{NguyenKK02,
title = {External Rewriting for Skeptical Proof Assistants},
author = {Quang Huy Nguyen and Claude Kirchner and Hélène Kirchner},
year = {2002},
tags = {proof assistant, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/NguyenKK02},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {29},
number = {3-4},
pages = {309-336},
}