"On constructive negation in logic programming / Teodor C. Przymusinski" (19 p.) inserted.
Logic programming : proceedings of the North American conference, 1989. ISBN 0262620642. Published by MIT Press in 1989. Publication and catalogue information, links to buy online and reader comments.