Canonical representations of high-level decision diagrams
Karputkin, Anton
;
Ubar, Raimund-Johannes
;
Raik, Jaan
;
Tombak, Mati
Estonian journal of engineering
2010
/
1, p. 39-55 : ill