ERL: Logic for entity-relationship databases John GrantTok Wang LingMong Li Lee OriginalPaper Pages: 115 - 147
Mechanical proof systems for logic II, consensus programs and their processing Helena RasiowaV. Wiktor Marek OriginalPaper Pages: 149 - 164