A Theorem Prover for UNITY in Higher Order Logic (1992)

by F Andersen