constructive negation in logic programming.
Publisher: MIT Press
Published: 1989
Language: eng
Number of pages: 19