Reasoning about VDM Specifications. - Morten Elvang-Gøransson (VDM Europe (1), 1991)

Classification of Refinements in VDM. - Morten Elvang-Gøransson (Refine, 1992)

A VDM Case Study in mural. - Robert E. Fields; Morten Elvang-Gøransson (IEEE Trans. Software Eng., 1992)

Acceptability of arguments as 'logical uncertainty'. - Morten Elvang-Gøransson; Paul J. Krause; John Fox 001 (ECSQARU, 1993)

Dialectic reasoning with inconsistent information. - Morten Elvang-Gøransson; Paul J. Krause; John Fox 001 (UAI, 1993)

Argumentation as a General Framework for Uncertain Reasoning. - John Fox 001; Paul J. Krause; Morten Elvang-Gøransson (UAI, 1993)

A Simple Sequent Calculus for Partial Functions. - Morten Elvang-Gøransson; Olaf Owe (Theor. Comput. Sci., 1993)

An Extended VDM Refinement Relation. - Morten Elvang-Gøransson; Robert E. Fields (FME, 1994)

A Logic of Argumentation for Reasoning under Uncertainty. - Paul J. Krause; Simon Ambler; Morten Elvang-Gøransson; John Fox 001 (Comput. Intell., 1995)

Argumentative Logics: Reasoning with Classically Inconsistent Information. - Morten Elvang-Gøransson; Anthony Hunter (Data Knowl. Eng., 1995)