Resolution is a Decision Procedure for Many Propositional Modal Logics (1997)

by Renate A. Schmidt
Citations:14 - 4 self