TY  - RPRT
TI  - Theory Exploration Powered By Deductive Synthesis
AU  - Eytan Singher
AU  - Shachar Itzhaky
PY  - 2021
DO  - 10.1007/978-3-030-81688-9_6
UR  - https://arxiv.org/abs/2009.04826
ID  - 2009.04826
ER  -