Heuristic Methods for Mechanically Deriving Inductive Assertions

Wegbreit. "Heuristic Methods for Mechanically Deriving Inductive Assertions." International Joint Conference on Artificial Intelligence, 1973.

[Wegbreit. "Heuristic Methods for Mechanically Deriving Inductive Assertions." International Joint Conference on Artificial Intelligence, 1973.](https://mlanthology.org/ijcai/1973/wegbreit1973ijcai-heuristic/)

@inproceedings{wegbreit1973ijcai-heuristic,
  title     = {{Heuristic Methods for Mechanically Deriving Inductive Assertions}},
  author    = {Wegbreit, Ben},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1973},
  pages     = {524-536},
  url       = {https://mlanthology.org/ijcai/1973/wegbreit1973ijcai-heuristic/}
}