1
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... lattice theory in higher order logic -- Formal verification of algorithm W: The monomorphic case...