Extending abduction from propositional to first-order logic

@inproceedings{Marquis1991ExtendingAF,
  title={Extending abduction from propositional to first-order logic},
  author={Pierre Marquis},
  booktitle={FAIR},
  year={1991}
}