A Logical Mix of Approximation and Separation.

Aquinas Hobor, Robert Dockins, Andrew W. Appel

Browse the full APLAS paper archive.