Cited By
View all- Eickmeyer KElberfeld MHarwath F(2017)Succinctness of Order-Invariant Logics on Depth-Bounded StructuresACM Transactions on Computational Logic10.1145/315277018:4(1-25)Online publication date: 8-Dec-2017
- Chen HMüller M(2017)One Hierarchy Spawns AnotherACM Transactions on Computational Logic10.1145/314380518:4(1-37)Online publication date: 3-Nov-2017
- Calautti MGreco STrubitsyna I(2017)Detecting Decidable Classes of Finitely Ground Logic Programs with Function SymbolsACM Transactions on Computational Logic10.1145/314380418:4(1-42)Online publication date: 16-Nov-2017
- Show More Cited By