Higher Order Multi-Valued Resolution. - Michael Kohlhase; Ortwin Scheja (J. Appl. Non Class. Logics, 1999)