TY  - CONF

T1  - Deriving focused lattice calculi

JO  - REWRITING TECHNIQUES AND APPLICATIONS

PY  - 2002/07/09

AU  - Struth G

ED  - Tison S

VL  - 2378

SP  - 83

EP  - 97

Y2  - 2025/12/03

ER  -