R. Matuszewski
发表
R. Matuszewski,
P. Rudnicki,
2005
.
R. Matuszewski,
P. Rudnicki,
2005
.
R. Matuszewski,
2008
.
Yatsuka Nakamura,
R. Matuszewski,
Roman Matuszewski,
2007
.
R. Matuszewski,
Mariusz Giero,
2007
.
Adam Naumowicz,
Josef Urban,
Adam Grabowski,
2015,
CICM.
Yatsuka Nakamura,
Roman Matuszewski,
Yatsuka Nakamura,
2004
.
Yatsuka Nakamura,
R. Matuszewski,
1994
.
Adam Naumowicz,
Adam Grabowski,
Karol Pak,
2017,
Journal of Automated Reasoning.