Rasiowa-Sikorski deduction systems in computer science applications.
scientific article; zbMATH DE number 1857006