The construction and computation of conditional statements for SCMPDS (1999)

by Jing-Chao Chen
Venue:Journal of Formalized Mathematics