Dina Q. Goldin Peter Wegner 109-118 2002 conf/pcl/2002 Paraconsistent Computational Logic http://arxiv.org/abs/cs.LO/0207074 db/conf/pcl/pcl2002.html#GoldinW02