About KOASAS KAIST Library
https://sites.google.com/site/leejunguk0323/home
Dobrowolski, Jan; Kim, Byunghan; Kolesnikov, Alexei; et al, JOURNAL OF SYMBOLIC LOGIC, v.86, no.2, pp.531 - 557, 2021-06
rss_1.0 rss_2.0 atom_1.0