@inproceedings{AS:DICE:17,
 author    = "M. Avanzini and M. Schaper",
 title     = {{GUBS Upper Bound Solver}},
 booktitle = "Proceedings of the \nth{17} International Workshop on Developments in Implicit Complexity",
 year      = 2017,
}