Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations.

Taus Brock-Nannestad, Kaustuv Chaudhuri

Browse the full TABLEAUX paper archive.