3. SLP 1986: Salt Lake City, Utah
Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986. IEEE-CS 1986, ISBN 0-8186-0728-9
The long versions of selected papers were published in a special issue of the Journal of Logic Programming (Volume 6, Numbers 1 & 2, January/March 1989).