Induction, Abduction, and Consequence-Finding

@inproceedings{Inoue2001InductionAA,
  title={Induction, Abduction, and Consequence-Finding},
  author={Katsumi Inoue},
  booktitle={ILP},
  year={2001}
}