Roberto Barbuti Paolo Mancarella A Multiple-Valued Logical Semantics for Prolog. 62-76 1996 conf/esop/1996 ESOP db/conf/esop/esop96.html#BarbutiM96 http://dx.doi.org/10.1007/3-540-61055-3_29