@inproceedings{AS:DICE:17,
 author    = {Martin Avanzini and
                  Michael Schaper},
 title     = {{GUBS} Upper Bound Solver (Extended Abstract)},
 year      = {2017},
 booktitle = {Proceedings 8th Workshop on Developments in Implicit Computational
                  Complexity and 5th Workshop on Foundational and Practical Aspects
                  of Resource Analysis, DICE-FOPARAETAPS 2017, Uppsala, Sweden, April
                  22-23, 2017},
 series    = {{EPTCS}},
 volume    = {248},
 pages     = {17--23},
 doi       = {10.4204/EPTCS.248.6},
 keywords  = {workshop}
}