First Order Stålmarck

Magnus Björk. First Order Stålmarck. Journal of Automated Reasoning, 42(1):99-122, 2009. [doi]

Abstract

Abstract is missing.