On the decomposition of the states of SCM (1993)

by Yasushi Tanaka
Venue:Journal of Formalized Mathematics