Jakub Stárka, Martin Svoboda, Jirí Schejbal, Irena Mlynkova, David Bednárek. Analyzer. In Václav Snásel, Jaroslav Pokorný, Karel Richta, editors, Proceedings of the Dateso 2011: Annual International Workshop on DAtabases, TExts, Specifications and Objects, Pisek, Czech Republic, April 20, 2011. Volume 706 of CEUR Workshop Proceedings, pages 61-72, CEUR-WS.org, 2011. [doi]
Abstract is missing.