Pseudorandom Finite Models.

Jan Dreier, Jamie Tucker-Foltz

Browse the full LICS paper archive.