TY  - GEN
N2  - cse-86-003
DO  - 10.6083/d217qp82v
DO  - DOI
AB  - cse-86-003
T1  - Constructive negation in Horn-clause programs
DA  - 1986
AU  - Walinsky, Clifford
L1  - https://digitalcollections.ohsu.edu/record/3825/files/csetech-142.pdf
PY  - 1986
ID  - 3825
L4  - https://digitalcollections.ohsu.edu/record/3825/files/csetech-142.pdf
TI  - Constructive negation in Horn-clause programs
Y1  - 1986
L2  - https://digitalcollections.ohsu.edu/record/3825/files/csetech-142.pdf
LK  - https://digitalcollections.ohsu.edu/record/3825/files/csetech-142.pdf
UR  - https://digitalcollections.ohsu.edu/record/3825/files/csetech-142.pdf
ER  -