The Triguarded Fragment with Transitivity.

Emanuel Kieronski, Adam Malinowski

Browse the full LPAR paper archive.