Logic programming: Symposium : Selected papers by IEEE Computer Society fromSymposium on Logic Programming 0 Type: Book
