Ewa Orlowska. Relational proof systems for some AI logics. In Philippe Jorrand, Jozef Kelemen, editors, Fundamentals of Artificial Intelligence Research, International Workshop FAIR 91, Smolenice, Czechoslovakia, September 8-13, 1991, Proceedings. Volume 535 of Lecture Notes in Computer Science, pages 33-47, Springer, 1991.
Abstract is missing.