Title: On constructive negation in logic programming
First published: 1989