External Rewriting for Skeptical Proof Assistants

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.

Abstract

Abstract is missing.