J. Waldmann
发表
Hans Zantema,
Dieter Hofbauer,
Alfons Geser,
2005,
Inf. Comput..
Marc Brockschmidt,
Fabian Emmes,
Carsten Fuhs,
2013
.
Albert Rubio,
Jürgen Giesl,
Christian Sternagel,
2019,
TACAS.
Hans Zantema,
Jörg Endrullis,
Johannes Waldmann,
2006,
Journal of Automated Reasoning.
Johannes Waldmann,
J. Waldmann,
Johannes Waldmann,
2002,
RTA.