|
|
Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, 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).
,
long version:
JLP 6(1&2):
163-178
,
long version:
JLP 6(1&2):
135-162
,
long version:
JLP 6(1&2):
79-108
,
long version:
JLP 6(1&2):
45-56
,
long version:
JLP 6(1&2):
109-133
,
long version:
JLP 6(1&2):
3-43
,
long version:
JLP 6(1&2):
57-77