TY  - CONF

T1  - Deriving focused lattice calculi

JO  - REWRITING TECHNIQUES AND APPLICATIONS

PY  - 2002/01/01

AU  - Struth G

ED  - Tison S

VL  - 2378

SP  - 83

EP  - 97

Y2  - 2024/12/25

ER  -