著者:	19980108d1985 kemy0enga0121 ba
次要责任者:	IEEE Computer Society
次要责任者:	Symposium on Logic Programming
索书号:	1