Martin Eric Müller. Towards Finding Maximal Subrelations with Desired Properties. In Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller, editors, Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings. Volume 8428 of Lecture Notes in Computer Science, pages 344-361, Springer, 2014. [doi]
Abstract is missing.