Jedd: A BDD-based relational extension of java. (2004)

by Ondrej Lhotak, Laurie Hendren
Venue:In Programming Language Design and Implementation,