IEEE COMPUTER SOCIETY SYMPOSIUM(3rd <br/><br/>
"Logic programming. Proceedings of the IEEE Computer Society Symposium, Salt Lake City, Utah, 22-25, Sept, 1986" 

 - Washington D C  IEEE Computer Society Press  1986 
 - x p. + 285