Mechanical proof systems for logic II, consensus programs and their processing

• Authors:

• Helena Rasiowa;V. Wiktor Marek

• Affiliations:

• -;-

• Venue:
• Journal of Intelligent Information Systems
• Year:
• 1993