Plain version of my bibliography. You can simply copy-paste it from this web page.

bury.bib

@misc{M2,
  author = {Bury, Guillaume},
  title = {Internship Report: Integrating the Simplex Algorithm to the Tableau Method},
  month = sep,
  year = 2014,
  url = {https://gbury.eu/public/papers/stage-m2.pdf}
}

@inproceedings{bury:hal-01215490,
  title = {{Integrating Simplex with Tableaux}},
  author = {Bury, Guillaume and Delahaye, David},
  url = {https://hal-mines-paristech.archives-ouvertes.fr/hal-01215490},
  booktitle = {{Automated Reasoning with Analytic Tableaux and Related Methods}},
  address = {Wrowlaw, Poland},
  series = {24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21--24, 2015. Proceedings},
  pages = {86-101},
  year = {2015},
  month = sep,
  pdf = {https://hal-mines-paristech.archives-ouvertes.fr/hal-01215490/file/zen-ari.pdf},
  hal_id = {hal-01215490},
  hal_version = {v1}
}

@inproceedings{bury:hal-01243593,
  title = {{Implementing Polymorphism in Zenon}},
  author = {Bury, Guillaume and Cauderlier, Rapha{\"e}l and Halmagrand, Pierre},
  url = {https://hal.inria.fr/hal-01243593},
  booktitle = {{11th International Workshop on the Implementation of Logics (IWIL)}},
  address = {Suva, Fiji},
  year = {2015},
  month = nov,
  pdf = {https://hal.inria.fr/hal-01243593/file/zenmo.pdf},
  hal_id = {hal-01243593},
  hal_version = {v1}
}

@inproceedings{bury:hal-01204701,
  title = {{Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo}},
  author = {Bury, Guillaume and Delahaye, David and Doligez, Damien and Halmagrand, Pierre and Hermant, Olivier},
  url = {https://hal-mines-paristech.archives-ouvertes.fr/hal-01204701},
  booktitle = {{LPAR 20 : 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning}},
  address = {Suva, Fiji},
  year = {2015},
  month = nov,
  pdf = {https://hal-mines-paristech.archives-ouvertes.fr/hal-01204701/file/A-615-v2.pdf},
  hal_id = {hal-01204701},
  hal_version = {v2}
}

@inproceedings{ICFP17,
  title = {{mSAT: An OCaml SAT Solver}},
  author = {Bury, Guillaume},
  pdf = {https://gbury.eu/public/papers/icfp2017_msat.pdf},
  booktitle = {{OCaml Users and Developers Workshop}},
  year = 2017,
  month = sep
}

This file was generated by bibtex2html 1.98.