Keyword:guarded fragment

Publications
The Triguarded Fragment with Transitivity Emanuel Kieronski and Adam Malinowski In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning