Verifying the Unification Algorithm in LCF (1985)

Cached

Download Links

by Lawrence C. Paulson
Venue:Science of Computer Programming
Citations:11 - 0 self