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 th

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/ http://drops.dagstuhl.de/ [2] http://drops.dagstuhl.de/opus/institut_oasics.php?fakultaet=03 http://drops.dagstuhl.de/opus/institut_oasics.php?fakultaet=...