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]
- 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]
- Taylor expansion diagrams: a new representation for RTL verificationMaciej J. Ciesielski, Priyank Kalla, Zhihong Zeng, Bruno Rouzeyre. hldvt 2001: 70-75 [doi]