T. Ammer
发表
M. T. Gale,
M. Rossi,
T. Ammer,
2002
.
M. Rossi,
T. Ammer,
2000
.
Ilkka Kallioniemi,
Markus Rossi,
Thomas Ammer,
2000
.
T. Ammer,
Katharina Kreuzer,
2022,
Arch. Formal Proofs.