Simon Kasif;Jack Minker
University of Maryland;University of Maryland
Logic for Problem Solving
Analysis of parallelism in logic programs. (volumes i and ii)