Example

L1: P(a, f(x, a))

L2: P(a, f(g(y), y))

S: { }

S: { g(y)/x }

S: { g(a)/x, a/y }

Previous slide

Next slide

Back to first slide

View graphic version