Y.: Cooperating theorem provers: a case study combining HOLLight and (2006)

by S McLaughlin, C Barrett, Ge
Venue:CVC Lite. Electr. Notes Theor. Comput. Sci