"PSI 2014. Ershov Informatics Conference, June 24-27, 2014, Peterhof, St. ..."

Irina Virbitskaite, Andrei Voronkov (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics