Handbook of automated reasoning; volume II
editors Alan Robinson and Andrei Voronkov2001 年出版2122 页ISBN:0444508120
(美)布热津斯基(Z.Brzeinski)著;邱应觉等译1985 年出版639 页ISBN:3003·1720
Nobel Lecture in Physiology or Medicine 1981-1990
JAN LINDSTEN2003 年出版584 页ISBN:7506265664