A theory of clausal discovery (1993)

by L De Raedt, M Bruynooghe
Venue:In Proc. Third [De Raedt and Bruynooghe