Balázs Kósa, András A. Benczúr, Attila Kiss. Satisfiability and Containment Problem of Structural Recursions with Conditions. In Barbara Catania, Mirjana Ivanovic, Bernhard Thalheim, editors, Advances in Databases and Information Systems - 14th East European Conference, ADBIS 2010, Novi Sad, Serbia, September 20-24, 2010. Proceedings. Volume 6295 of Lecture Notes in Computer Science, pages 336-350, Springer, 2010. [doi]
Abstract is missing.