T. C. Przymunsinski

• On constructive negation in logic programming