Chris Evans, Antonis C. Kakas. Hypothetico-deductive Reasoning. In FGCS. pages 546-554, 1992.
@inproceedings{EvansK92-0,
title = {Hypothetico-deductive Reasoning},
author = {Chris Evans and Antonis C. Kakas},
year = {1992},
tags = {C++},
researchr = {https://researchr.org/publication/EvansK92-0},
cites = {0},
citedby = {0},
pages = {546-554},
booktitle = {FGCS},
}