Beata Konikowska Rasiowa-Sikorski deduction systems in computer science applications. 323-366 2002 286 Theor. Comput. Sci. 2 db/journals/tcs/tcs286.html#Konikowska02