The complexity of reasoning with boolean modal logics (2001)

by Carsten Lutz , Ulrike Sattler
Venue:LTCSReport 00-02, LuFG Theoretical Computer Science, RWTH
Citations:35 - 5 self