TY  - RPRT
TI  - Superposition as a logical glue
AU  - Andrea Asperti
AU  - Enrico Tassi
PY  - 2011
DO  - 10.4204/eptcs.53.1
UR  - https://arxiv.org/abs/1103.3319
ID  - 1103.3319
ER  -