No. 18 (1994): RS-18 LCF Examples in HOL

Published: 1994-07-27

Articles