<algorithm> To perform unification.
(1995-03-15)
Try this search on Wikipedia, OneLook, Google
Copyright 2010 Denis Howe