Cited By
View all- Cerna DKutsia T(2020)Higher-order pattern generalization modulo equational theoriesMathematical Structures in Computer Science10.1017/S096012952000011030:6(627-663)Online publication date: 20-May-2020
- Ebner GHetzl SLeitsch AReis GWeller D(2019)On the Generation of Quantified LemmasJournal of Automated Reasoning10.1007/s10817-018-9462-863:1(95-126)Online publication date: 1-Jun-2019
- Eberhard SEbner GHetzl S(2018)Complexity of Decision Problems on Totally Rigid Acyclic Tree GrammarsDevelopments in Language Theory10.1007/978-3-319-98654-8_24(291-303)Online publication date: 5-Aug-2018