Revision Revisited

Leon Horsten, Graham E. Leigh, Hannes Leitgeb, Philip D. Welch. Revision Revisited. Rew. Symb. Logic, 5(4):642-664, 2012. [doi]

Abstract

Abstract is missing.