TI - Learning horn clauses using the ilp systems golem PY - 1993 AU - Nicoletti, M C AU - Monard, Maria Carolina PP - São Carlos PB - ICMSC-USP ER -