TY  - RPRT
TI  - Tinker, tailor, solver, proof
AU  - Gudmund Grov
AU  - Aleks Kissinger
AU  - Yuhui Lin
PY  - 2014
DO  - 10.4204/eptcs.167.5
UR  - https://arxiv.org/abs/1410.8217
ID  - 1410.8217
ER  -