TY  - BOOK
AU  - IEEE COMPUTER SOCIETY SYMPOSIUM(3rd
TI  - "Logic programming. Proceedings of the IEEE Computer Society Symposium, Salt Lake City, Utah, 22-25, Sept, 1986"
CY  - Washington D C
ER  -