著者:	19970902d1989 kemy0enga0121 ba
次要责任者:	North American Conference on Logic Programming
索书号:	1