On Computing Non-hypocritical Consensuses in Standard Logic | IEEE Conference Publication | IEEE Xplore