Finite and Rational Tree Constraints
first-order equality theory over a Herbrand universe
scientific article; zbMATH DE number 706786