A Resolution-Based Decision Procedure for Extensions of K4.

Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt

Browse the full AiML paper archive.