"Perspectives of System Informatics - 9th International Ershov Informatics ..."

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