Papers on F-logic, Transaction Logic, and Related Issues


Back to Foundations of DOOD