TY  - RPRT
TI  - Ackermann Encoding, Bisimulations, and OBDDs
AU  - Carla Piazza
AU  - Alberto Policriti
PY  - 2003
UR  - https://arxiv.org/abs/cs/0311018
ID  - cs/0311018
ER  -