CiteSeerX — Related by cluster: On Constructive Negation in Logic Programming

On Constructive Negation in Logic Programming (1995)

Cached

Download Links

[ftp.cs.ucr.edu]

Other Repositories/Bibliography

DBLP

by Teodor Przymusinski

Venue:	In North American Conference on Logic Programming
Citations:	24 - 3 self

Document Versions

On Constructive Negation in Logic Programming –Teodor Przymusinski — 1995 — In North American Conference on Logic Programming