On constructive negation in logic programming / - Przymusinski, Teodor C. ([publisher not identified],, 1989)