TAYLOR(Stephen) <br/><br/>
Parallel logic programming techniques 

 - New Jersey  Prentice Hall  1989 
 - xiv p. + 201