Fehrer, D. (1994). A Unifying Logical Framework for Reason Maintenance (Deliverable DI.1.2-3P). In J. Cunningham, & J. Pitt (Eds.), Medlar {II} Report {PPR2} (pp. 47-55).