Learning Recursive Theories with ATRE

Donato Malerba, Floriana Esposito, Francesca A. Lisi. Learning Recursive Theories with ATRE. In ECAI. pages 435-439, 1998.

Abstract

Abstract is missing.