%0 Conference Paper %1 conf/ijcai/RaedtB93 %A Raedt, Luc De %A Bruynooghe, Maurice %B IJCAI %D 1993 %E Bajcsy, Ruzena %I Morgan Kaufmann %K dblp %P 1058-1063 %T A Theory of Clausal Discovery. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai93.html#RaedtB93 %@ 1-55860-300-X

@inproceedings{conf/ijcai/RaedtB93, added-at = {2012-05-15T00:00:00.000+0200}, author = {Raedt, Luc De and Bruynooghe, Maurice}, biburl = {https://www.bibsonomy.org/bibtex/280a456952ca2e2ff768d16033924c935/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1993}, editor = {Bajcsy, Ruzena}, ee = {http://ijcai.org/proceedings/1993-2}, interhash = {acf2287487903f284b6449c1598edc4d}, intrahash = {80a456952ca2e2ff768d16033924c935}, isbn = {1-55860-300-X}, keywords = {dblp}, pages = {1058-1063}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:48:38.000+0200}, title = {A Theory of Clausal Discovery.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai93.html#RaedtB93}, year = 1993 }