TY  - RPRT
TI  - Hierarchic Superposition Revisited
AU  - Peter Baumgartner
AU  - Uwe Waldmann
PY  - 2019
UR  - https://arxiv.org/abs/1904.03776
ID  - 1904.03776
ER  -