A brief Introduction to First-Order Logic Unification at the example of Corbin and Bidoit's variation of Robinson's Unification Algorithm
published | article | CC BY-NC-ND
What is a "Work"?
A Fatcat "
work" groups a set of releases that are all editings
or editing stages of the same intellectual contribution. For example, a
pre-print and a published article may contain small differences, but still
reference the same underlying "work".