SPFA by finite conditions

Moti Gitik, Menachem Magidor. SPFA by finite conditions. Arch. Math. Log., 55(5-6):649-661, 2016. [doi]

Abstract

Abstract is missing.