O. Wagner
发表
Anand Pillay,
Predrag Tanovic,
Bernhard Herwig,
1992,
Arch. Math. Log..
F. Heinz,
W. Schreiner,
O. Wagner,
2004
.