Michael Parting
发表
Jürgen Giesl,
Peter Schneider-Kamp,
Carsten Fuhs,
2011,
Journal of Automated Reasoning.
Jürgen Giesl,
Peter Schneider-Kamp,
Carsten Fuhs,
2009,
CADE.