35th Annual Symposium on Foundations of Computer Science November 20-22
19941994 年出版837 页ISBN:
43nd IEEE Symposium on Foundations of Computer Science October 14-17
20012001 年出版670 页ISBN:
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 353 FOUNDATIONS OF EQUATIONAL LOGIC PROGRAMMING
1989 年出版250 页ISBN:038751533X
(美)霍兰德(Holland,N.N)著;潘国庆译1991 年出版268 页ISBN:7532108317