bottom-up semantics, property-oriented specifications, semantics-based inference methods, term rewriting, Term Rewriting Systems2.
