Constructing the extensional representation of an intensional to main theory in inductive logic programming - Monard, Maria Carolina; Nicoletti, M C (Advances in Artificial Intelligence, 1995)