Tractable and intractable classes of propositional schemata | UPT Perpustakaan UHAMKA