MSPASS: Modal Reasoning by Translation and First-Order Resolution.

Ullrich Hustadt, Renate A. Schmidt

Browse the full TABLEAUX paper archive.