Ambivalent Logic as the Semantic Basis of Metalogic Programming.

Yuejun Jiang Ambivalent Logic as the Semantic Basis of Metalogic Programming. 387-401 1994 ICLP db/conf/iclp/iclp94.html#Jiang94