G. Ciolli
发表
R. Dennis,
T. Shreeve,
R. Fox,
2015
.
G. Ciolli,
2004,
math/0403300.
G. Ciolli,
2010
.
G. Ciolli,
2004
.
Marco Maggesi,
Graziano Gentili,
Gianni Ciolli,
2011,
Journal of Automated Reasoning.