Helmut Veith: How to Encode a Logical Structure by an OBDD. CCC 1998: 122-131