M. Bognar
发表
Roel C. de Vrijer,
Mirna Bognar,
R. D. Vrijer,
2001,
Journal of Automated Reasoning.
D. Furst,
K. Dao,
M. Rosen,
2019,
Arthritis care & research.