Luc De Raedt, Maurice Bruynooghe. A Theory of Clausal Discovery. In IJCAI. pages 1058-1063, 1993.
@inproceedings{RaedtB93,
title = {A Theory of Clausal Discovery},
author = {Luc De Raedt and Maurice Bruynooghe},
year = {1993},
tags = {discovery},
researchr = {https://researchr.org/publication/RaedtB93},
cites = {0},
citedby = {0},
pages = {1058-1063},
booktitle = {IJCAI},
}