Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract).

Helena Rasiowa, V. Wiktor Marek

Browse the full ISMIS paper archive.