Decidability by Resolution for Propositional Modal Logics Renate A. Schmidt OriginalPaper Pages: 379 - 396
T-Resolution: Refinements and Model Elimination Andrea FormisanoAlberto Policriti OriginalPaper Pages: 433 - 483