Multiple-valued logics for theorem-proving in first order logic with equality | IEEE Conference Publication | IEEE Xplore