H. T. Riele

发表

H. T. Riele, M. D. Rijke, Y. Venema, 1996 .

R. Bol, H. T. Riele, 1990, J. Log. Program..