@misc{misc0455c346, title = {Learning horn clauses using the ilp systems golem}, author = {Nicoletti, M C and Monard, Maria Carolina}, year = {1993}, publisher = {ICMSC-USP} }