Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing.

Helena Rasiowa V. Wiktor Marek Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing. 149-164 1993 2 J. Intell. Inf. Syst. 2 db/journals/jiis/jiis2.html#RasiowaM93