TY  - RPRT
TI  - Ground interpolation for the theory of equality
AU  - Alexander Fuchs
AU  - Amit Goel
AU  - Jim Grundy
AU  - Sava Krstić
AU  - Cesare Tinelli
PY  - 2012
DO  - 10.2168/lmcs-8(1:6)2012
UR  - https://arxiv.org/abs/1111.5652
ID  - 1111.5652
ER  -