DROPS [1] is the Dagstuhl Research Online Publication Server, and is the
DOI home for papers from a number of conferences. This paper was
submitted to one of the OASIcs conferences [2] in 2014 (I think).
[1] http://drops.dagstuhl.de/
[2] http://drops.dagstuhl.de/opus/institut_oasics.php?fakultaet=...