2obj: A metalogical framework theorem prover based on equational logic (1992)

by Joseph Goguen, Andrew Stevens, Hendrik Hilberdink, Keith Hobley, W A Hunt, T F Melham
Venue:Philosophical Transactions: Physical Sciences and Engineering