AlleAlle: bounded relational model finding with unbounded data.

Jouke Stoel, Tijs van der Storm, Jurgen J. Vinju

Browse the full OOPSLA paper archive.