Integer Induction in Saturation

Hozzová, Petra; Kovács, Laura; Voronkov, Andrei

by Petra Hozzová, Laura Kovács, Andrei Voronkov

Reference:

Integer Induction in SaturationPetra Hozzová, Laura Kovács, Andrei VoronkovAutomated Deduction – CADE 28 (André Platzer, Geoff Sutcliffe, eds.), pages 361–377, 2021, Springer International Publishing.

Bibtex Entry:

@inproceedings{HozKovVor21,
  author="Hozzov{\'a}, Petra
and Kov{\'a}cs, Laura
and Voronkov, Andrei",
  editor="Platzer, Andr{\'e}
and Sutcliffe, Geoff",
  title="Integer Induction in Saturation",
  booktitle="Automated Deduction -- CADE 28",
  year="2021",
  publisher="Springer International Publishing",
  address="Cham",
  pages="361--377",
  isbn="978-3-030-79876-5",
  url={https://link.springer.com/content/pdf/10.1007/978-3-030-79876-5\_21.pdf},
}