Peter Idestam-Almquist. Learning Missing Clauses by Inverse Resolution. In FGCS. pages 610-617, 1992.
@inproceedings{Idestam-Almquist92,
title = {Learning Missing Clauses by Inverse Resolution},
author = {Peter Idestam-Almquist},
year = {1992},
researchr = {https://researchr.org/publication/Idestam-Almquist92},
cites = {0},
citedby = {0},
pages = {610-617},
booktitle = {FGCS},
}