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 . |
tech,14-4-P86-1038,bq | graphs </term> for a special type of <term> | deterministic finite automaton | </term> . This <term> semantics </term> for <term> | #14713 These graphs are, in fact, transition graphs for a special type of deterministic finite automaton . |