Hypothetico-deductive Reasoning

Chris Evans, Antonis C. Kakas. Hypothetico-deductive Reasoning. In FGCS. pages 546-554, 1992.

Abstract

Abstract is missing.