The following publications are possibly variants of this publication:
- Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic VerificationMaciej J. Ciesielski, Priyank Kalla, Zhihong Zeng, Bruno Rouzeyre. date 2002: 285-291 [doi]
- Taylor Expansion Diagrams: A Canonical Representation for Verification of Data Flow DesignsMaciej J. Ciesielski, Priyank Kalla, Serkan Askar. TC, 55(9):1188-1201, 2006. [doi]
- Algorithms for Taylor Expansion DiagramsGörschwin Fey, Rolf Drechsler, Maciej J. Ciesielski. ismvl 2004: 235-240 [doi]
- High-level design verification using Taylor Expansion Diagrams: first resultsPriyank Kalla, Maciej J. Ciesielski, Emmanuel Boutillon, Eric Martin 0001. hldvt 2002: 13-17 [doi]
- Variable ordering for taylor expansion diagramsDaniel Gomez-Prado, Qian Ren, Serkan Askar, Maciej J. Ciesielski, Emmanuel Boutillon. hldvt 2004: 55-59 [doi]
- Data-flow transformations using Taylor expansion diagramsMaciej J. Ciesielski, Serkan Askar, D. Gomez-Prado, Jérémie Guillot, Emmanuel Boutillon. date 2007: 455-460 [doi]