TY  - CONF

T1  - On automating the calculus of relations

JO  - AUTOMATED REASONING, PROCEEDINGS

PY  - 2008/01/01

AU  - Hofner P

AU  - Struth G

ED  - Armando A

ED  - Baumgartner P

ED  - Dowek G

VL  - 5195

SP  - 50

EP  - 66

Y2  - 2024/12/25

ER  -