TY  - CONF

T1  - An algebra of resolution

JO  - REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS

PY  - 2000/01/01

AU  - Struth G

ED  - Bachmair L

VL  - 1833

SP  - 214

EP  - 228

Y2  - 2024/12/25

ER  -