Cited in
(10)- CLP(\(\mathsf{H}\)): constraint logic programming for hedges
- Variadic equational matching in associative and commutative theories
- On the relation between context and sequence unification
- Theorema
- Veriflog
- XCentric
- Variadic equational matching
- Skolemization in unranked logics
- Solving equations with sequence variables and sequence functions
- Flat matching
This page was built for software: CLP(Flex)
