Operational Characterization of Extensions in Some Logics for Default Reasoning

Grigoris Antoniou. Operational Characterization of Extensions in Some Logics for Default Reasoning. Inf. Sci., 89(3):261-273, 1996.

Abstract

Abstract is missing.