A-Ordered Tableaux

Reiner Hähnle, Stefan Klingenbeck. A-Ordered Tableaux. Journal of Logic and Computation, 6(6):819-833, 1996.

Abstract

Abstract is missing.