1. Norn: an SMT solver for string constraints;Abdulla,2015
2. A partial evaluation framework for order-sorted equational programs modulo axioms;Alpuente;J. Log. Algebraic Methods Program.,2020
3. Unification in the union of disjoint equational theories: combining decision procedures;Baader;J. Symb. Comput.,1996
4. Abstract logical model checking of infinite-state systems using narrowing;Bae,2013
5. On forward closure and the finite variant property;Bouchard,2013