Autor:	Andrej Dudenhefner, Jakob Rehof
Rok vydání:	2017
Zdroj:	2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::13b800907fc7db6cb3c29d363322f2ef https://doi.org/10.1109/lics.2017.8005127 Zobrazit plný text záznamu