Deciding Regular Grammar Logics with Converse Through First-Order Logic Stéphane DemriHans De Nivelle OriginalPaper Pages: 289 - 329
The Semijoin Algebra and the Guarded Fragment Dirk LeindersMaarten MarxJan Van den Bussche OriginalPaper Pages: 331 - 343
Complexity of the Two-Variable Fragment with Counting Quantifiers Ian Pratt-Hartmann OriginalPaper Pages: 369 - 395