Computing prime implicants/implicates for regular logics | IEEE Conference Publication | IEEE Xplore