Work Note 4, DM509, fall 2008
Lecture November 10
On the "most general unifier".
Background material
: [NM95]; note that the entire book is also available online.
Last modified: Fri Nov 7 11:27:33 CET 2008
Kim Skak Larsen
(
kslarsen@imada.sdu.dk
)