A. Buch
发表
Thomas Hillenbrand,
Arnim Buch,
Roland Vogt,
1997,
Journal of Automated Reasoning.
Thomas Hillenbrand,
Arnim Buch,
Roland Fettig,
1996,
DISCO.
Thomas Hillenbrand,
Arnim Buch,
Roland Fettig,
1996,
RTA.