Méndez-Lojo, Mario and Lhoták, Ondrej and Hermenegildo, Manuel V. (2008). Efficient Set Sharing Using ZBDDs. In: "21th international workshop, Languages and compilers for parallel computing, LCPC 2008", 31/07/2008-02/08/2008, Edmonton, Alberta, Canadá. ISBN 978-3-540-89739-2. https://doi.org/10.1007/978-3-540-89740-8_4.