Forward and backward guarding in early output logic.

Charlie Brej, Doug Edwards

Browse the full DDECS paper archive.