20. REFSQ 2014: Essen, Germany

maintained by Schloss Dagstuhl LZI at University of Trier