Ondřej Lhoták, Laurie J. Hendren. Jedd: a BDD-based relational extension of Java. In William Pugh, Craig Chambers, editors, Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004. pages 158-169, ACM, 2004. [doi]
Abstract is missing.