TY  - RPRT
TI  - Refinement in the Tableau Synthesis Framework
AU  - Dmitry Tishkovsky
AU  - Renate A. Schmidt
PY  - 2013
UR  - https://arxiv.org/abs/1305.3131
ID  - 1305.3131
ER  -