2001
A Library for Composite Symbolic Representations.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001