Regimantas Pliuskevicius. On Saturation with Flexible Function Symbols. In Wojciech Penczek, Andrzej Szalas, editors, Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS 96, Cracow, Poland, September 2-6, 1996, Proceedings. Volume 1113 of Lecture Notes in Computer Science, pages 482-493, Springer, 1996.
Abstract is missing.