External rewriting for skeptical proof assistants
scientific article; zbMATH DE number 1901558