Schreye Logic Programming: Proceedings of the 1999 International Conference on Logic Programming - IEEE Source: EBOOK