On constructive negation in logic programming /
Przymusinski, Teodor C.
University of Texas at El Paso.Department of Mathematics.
[S.l. : University of Texas at El Paso, Department of Mathematics?,
1990?]
"Extended abstract".