Halit Oguztüzün. A Fragment of First Order Logic Adequate for Observation Equivalence. In Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter, editors, Computer Science Logic, 5th Workshop, CSL 91, Berne, Switzerland, October 7-11, 1991, Proceedings. Volume 626 of Lecture Notes in Computer Science, pages 278-292, Springer, 1991.
Abstract is missing.