On the complexity of epistemic reasoning (1989)

by M Vardi
Venue:In Logic in Computer Science