Taylor, Stephen Parallel logic programming techniques. / Taylor, Stephen Dewey Class. No.: 004.35 T218P R