Some notes on the abstraction operation for multi-terminal binary decision diagrams. - Ludwig Griebl; Johann Schuster (Formal Methods Syst. Des., 2014)