TY  - RPRT
TI  - Abstract Canonical Inference
AU  - Maria Paola Bonacina
AU  - Nachum Dershowitz
PY  - 2006
DO  - 10.1145/1182613.1182619
UR  - https://arxiv.org/abs/cs/0406030
ID  - cs/0406030
ER  -