TY  - GEN
AU  - Leitsch,Alexander
AU  - Lolic,Anela
TI  - Extraction of Expansion Trees
SN  - 1573-0670
PY  - 2019///
PB  - Journal of automated reasoning
N1  - Publication Type: Journal Article
UR  - https://doi.org/10.1007/s10817-018-9453-9
ER  -