Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract).

Robert Johnson, Steve Reeves

Browse the full TABLEAUX paper archive.