in Leibniz International Proceedings in Informatics, LIPIcs, ISSN: 1868-8969
Volume: 16, Páginas: 12-13
Conference
26Th International Workshop on Computer Science Logic, Csl 2012/21St Annual Conference of the European Association for Computer Science Logic, Eacsl, Date: 3 September 2012 through 6 September 2012, Location: Fontainebleau
