On the complexity of elementary modal logics (2008)

by E Hemaspaandra, H Schnoor
Venue:of LIPIcs