Logic programming - Gabbay, Dov M. (1998)
Puno ime urednika: 1. Christopher John Hogger 2. John Alan Robinson