On the minimum number of logical clauses inferred from examples

Evangelos Triantaphyllou, Allen L. Soyster. On the minimum number of logical clauses inferred from examples. Computers & OR, 23(8):783-799, 1996. [doi]

@article{TriantaphyllouS96,
  title = {On the minimum number of logical clauses inferred from examples},
  author = {Evangelos Triantaphyllou and Allen L. Soyster},
  year = {1996},
  doi = {10.1016/0305-0548(95)00075-5},
  url = {http://dx.doi.org/10.1016/0305-0548(95)00075-5},
  researchr = {https://researchr.org/publication/TriantaphyllouS96},
  cites = {0},
  citedby = {0},
  journal = {Computers & OR},
  volume = {23},
  number = {8},
  pages = {783-799},
}