TY  - RPRT
TI  - GUBS Upper Bound Solver (Extended Abstract)
AU  - Martin Avanzini
AU  - Michael Schaper
PY  - 2017
DO  - 10.4204/eptcs.248.6
UR  - https://arxiv.org/abs/1704.05586
ID  - 1704.05586
ER  -