Program Analysis with Horn Clauses. - Andreas Reuß (AlgoSyn, 2010)

Bottom-Up Tree Automata with Term Constraints. - Andreas Reuß; Helmut Seidl (LPAR (Yogyakarta), 2010)

Extending H1-clauses with disequalities. - Helmut Seidl; Andreas Reuß (Inf. Process. Lett., 2011)

Extending ${ cal H}_1$ -Clauses with Path Disequalities. - Helmut Seidl; Andreas Reuß (FoSSaCS, 2012)

Crossing the Syntactic Barrier: Hom-Disequalities for H1-Clauses. - Andreas Reuß; Helmut Seidl (CIAA, 2012)

Normalization of Horn clauses with disequality constraints. - Andreas Reuß (2013)

Paths, tree homomorphisms and disequalities for -clauses. - Andreas Reuß; Helmut Seidl (Math. Struct. Comput. Sci., 2018)