2OBJ: a metalogical framework theorem prover based on equational logic (1992)

by J Goguen, A Stevens, H Hilberdink, K Hobley
Venue:In