Due to a scheduled maintenance, the sites dblp.org and dblp.dagstuhl.de will become temporarily unavailable on Saturday, October 14th, 2017. We are sorry for the inconvenience. In the mean time, please use mirror server dblp.uni-trier.de instead.