Parallel and Distributed Logic Programming - Bhattacharya, Alakananda; Konar, Amit; Mandal, Ajit K. (Springer Berlin Heidelberg, 2006)