Title: Resolution and equality in theorem proving
First published: 1973