← Back to Browse
Resolution and equality in theorem proving

Resolution and equality in theorem proving

by Daniel Brand

First published: 1973