Sergei G. Vorobyov. A structural completeness theorem for a class of conditional rewrite rule systems. In Per Martin-Löf, Grigori Mints, editors, COLOG-88, International Conference on Computer Logic, Tallinn, USSR, December 1988, Proceedings. Volume 417 of Lecture Notes in Computer Science, pages 313-326, Springer, 1988.
Abstract is missing.