other,21-11-P86-1038,bq | which delays <term> expansion </term> to <term> | disjunctive normal form | </term> . This paper describes a domain | #14854 To deal with this complexity, we describe how disjunctive values can be specified in a way which delays expansion to disjunctive normal form . |