Extending Explanation-Based Generalization with Metalogic Programming.

S. Bertarello Stefania Costantini Gaetano Aurelio Lanzarone Extending Explanation-Based Generalization with Metalogic Programming. 16-31 1994 conf/agp/1994-2 GULP-PRODE (2) db/conf/agp/gulp-prode1994-2.html#BertarelloCL94