A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics.

Enrico Giunchiglia, Armando Tacchella

Browse the full TABLEAUX paper archive.