Edgar Knapp Soundness and Completeness of UNITY Logic. 378-389 1994 conf/fsttcs/1994 FSTTCS db/conf/fsttcs/fsttcs94.html#Knapp94 http://dx.doi.org/10.1007/3-540-58715-2_139