Inproceedings,

Generalization under Implication by Recursive Anti-unification.

.
ICML, page 151-158. Morgan Kaufmann, (1993)

Meta data

Tags

Users

  • @dblp

Comments and Reviews