LARA

This is an old revision of the document!

Partial Congruences

Instead of a congruence on the (typically infinite) set of all ground terms we will compute congruences on a given finite set of ground terms.

Let $T$ be a finite set of ground terms.