Approximations for Model Construction.

Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rmmer

Browse the full CADE paper archive.