Title: Some basic notions of first-order unification theory
First published: 1983