Relational proof systems for some AI logics.

Ewa Orlowska Relational proof systems for some AI logics. 33-47 1991 conf/fair/1991 FAIR db/conf/fair/fair1991.html#Orlowska91