@inbook{inbook0dc1aeaa,
title   = {Constructing the extensional representation of an intensional to main theory in inductive logic programming},
author = {Monard, Maria Carolina and Nicoletti, M C},
year = {1995},
publisher = {Springer},
journal   = {Advances in Artificial Intelligence}
}