Andreas Karwath Luc De Raedt 1-15 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3245&spage=1 2004 conf/dis/2004 Discovery Science db/conf/dis/dis2004.html#KarwathR04