Stärk, Robert F. (1991). A Complete Axiomatization of the Three valued Completion of Logic Programs. Journal of logic and computation, 1(6), pp. 811-834. Oxford University Press 10.1093/logcom/1.6.811
