Integer Induction in Saturation (bibtex)
by Petra Hozzová, Laura Kovács, Andrei Voronkov
Reference:
Integer Induction in SaturationPetra Hozzová, Laura Kovács, Andrei Voronkov, EasyChair, 2021.
Bibtex Entry:
@inproceedings{HozKovVor21,
  author    = {Petra Hozzov{\'{a}} and
               Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {Integer Induction in Saturation},
  howpublished = {EasyChair Preprint no. 5176},
  year      = {EasyChair, 2021},
  url       = {https://easychair.org/publications/preprint/K7Sm}
}
Powered by bibtexbrowser