A Resolution Framework for Finitely-Valued First-Order Logics.

Peter W. O'Hearn Zbigniew Stachniak A Resolution Framework for Finitely-Valued First-Order Logics. 69-81 1989 SCAI db/conf/scai/scai1989.html#OHearnS89