Văn bản này: Logic programming : proceedings of the 1995 international symposium / edited by John Lloyd.