Marek A. Perkowski, Malgorzata Chrzanowska-Jeske, Andisheh Sarabi, Ingo Schäfer: Multi-Level Logic Synthesis Based on Kronecker Decision Diagrams and Boolean Ternary Decision Diagrams for Incompletely Specified Functions. VLSI Design 3(3-4): 301-313 (1995)