000003825 001__ 3825
000003825 005__ 20231206121124.0
000003825 0247_ $$2DOI$$a10.6083/d217qp82v
000003825 037__ $$aIR
000003825 245__ $$aConstructive negation in Horn-clause programs
000003825 269__ $$a1986
000003825 336__ $$aArticle
000003825 520__ $$acse-86-003
000003825 540__ $$fCC BY
000003825 542__ $$fIn copyright - single owner
000003825 691__ $$aOregon Graduate Institute
000003825 7001_ $$aWalinsky, Clifford
000003825 8564_ $$99edf815b-e52f-4a9f-afb5-e33ff8213590$$s787959$$uhttps://digitalcollections.ohsu.edu/record/3825/files/csetech-142.pdf
000003825 905__ $$a/rest/prod/d2/17/qp/82/d217qp82v
000003825 980__ $$aScholars Archive