A Mechanised Definition of Silage in HOL (1992)

by A D Gordon
Venue:Computer Laboratory, University of Cambridge