Forward and backward guarding in early output logic | IEEE Conference Publication | IEEE Xplore