H.: External rewriting for skeptical proof assistants (2002)

by Q H Nguyen, C Kirchner, Kirchner
Venue:J. Autom. Reasoning