Peter Burmeister. Quasi-Equational Logic for Partial Algebras. In Ferenc Gécseg, editor, Fundamentals of Computation Theory, FCT 81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981. Volume 117 of Lecture Notes in Computer Science, pages 71-80, Springer, 1981.
Abstract is missing.