Luca Console, Daniele Theseider Dupré. Adcuctive Reasoning with Abstraction Axioms. In Gerhard Lakemeyer, Bernhard Nebel, editors, Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]. Volume 810 of Lecture Notes in Computer Science, pages 98-112, Springer, 1992.
Abstract is missing.