On analysing relevance constructively
Conservative Extension of Pure Implicational Fragments
scientific article; zbMATH DE number 3630709