H. T. Riele
发表
H. T. Riele,
M. D. Rijke,
Y. Venema,
1996
.
H. T. Riele,
2000
.
R. Bol,
H. T. Riele,
1990,
J. Log. Program..