TY  - CONF

T1  - Knuth-Bendix completion as a data structure

JO  - RELATIONAL METHODS IN COMPUTER SCIENCE, 2005

PY  - 2006/01/01

AU  - Struth G

ED  - MacCaull W

ED  - Winter M

ED  - Duntsch I

VL  - 3929

SP  - 225

EP  - 236

Y2  - 2024/12/22

ER  -