ECAI
1992
Springer
13 years 11 months ago
1992
Springer
Just as the order defined by generality over concepts allows concept induction to be performed without generalisation/specialisation operators, so too the order defined by set inc...