TY  - RPRT
TI  - Deciding and Interpolating Algebraic Data Types by Reduction (Technical Report)
AU  - Hossein Hojjat
AU  - Philipp Rümmer
PY  - 2018
UR  - https://arxiv.org/abs/1801.02367
ID  - 1801.02367
ER  -