Steffen Juilf Smolka
发表
Sascha Böhme,
Jasmin Christian Blanchette,
Mathias Fleury,
2015,
Journal of Automated Reasoning.
Jasmin Christian Blanchette,
Steffen Juilf Smolka,
J. Blanchette,
2013,
PxTP@CADE.