J. Rintanen

发表

Henry A. Kautz, Eugene C. Freuder, R.P. Goldman, 2005, IEEE Intelligent Systems.