The Triguarded Fragment of First-Order Logic.

Sebastian Rudolph, Mantas Simkus

Browse the full LPAR paper archive.