Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
prover
Publications
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
Anders Schlichtkrull
,
Jasmin Christian Blanchette
,
Dmitriy Traytel
and
Uwe Waldmann
EasyChair Preprint 396
Copyright © 2012-2025 easychair.org. All rights reserved.
