Helena Rasiowa Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents. 415-432 1991 5 Int. J. Approx. Reasoning 4 http://dx.doi.org/10.1016/0888-613X(91)90020-M db/journals/ijar/ijar5.html#Rasiowa91