Searching for "Boolean Unification - The Story So Far." – sorted by Relevance.
-
Constraint Logic Programming: A Survey
- Unification - The Story So Far, Journal of Symbolic Computation, 7, 275--293, 1989. 186. MathLab, MACSYMA
- Cited by 645 (13 self) – Add To MetaCart

