TY  - RPRT
TI  - Importing SMT and Connection proofs as expansion trees
AU  - Giselle Reis
PY  - 2015
DO  - 10.4204/eptcs.186.3
UR  - https://arxiv.org/abs/1507.08715
ID  - 1507.08715
ER  -