The Amalgamation Property, the Universal-Homogeneous Models, and the Generic Models. Mitsuru Yasuhara — 1974 Mathematica Scandinavica
Completeness of cut-free type theories. Mitsuru Yasuhara — 1974 Archiv für mathematische Logik und Grundlagenforschung