@inproceedings{inproceedings, title = {{Deriving focused lattice calculi}},
url = {{}},
year = {{2002}},
month = {{1}},
author = {{Struth G}},
volume = {{2378}},
journal = {{REWRITING TECHNIQUES AND APPLICATIONS}},
pages = {{83-97}},
note = {{Accessed on 2025/07/03}}}