ABSTRACT

See: Assumption Based Reasoning.