Valentin Goranko: Hybrid Deduction-Refutation Systems. (2019)journals/axioms/Goranko1910.3390/AXIOMS8040118Hybrid Deduction-Refutation Systems.1Valentin Goranko1118AxiomsAxioms842019provenance information for RDF data of dblp record 'journals/axioms/Goranko19'2020-01-15T08:28:45+0100