Verifying the Unification Algorithm in LCF (1985)

Cached

Download Links

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