Encoding deductive argumentation in quantified Boolean formulae
scientific article; zbMATH DE number 5650766
scientific article