selected publications
-
academic article
- First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice. Journal of Automated Reasoning. 64:1001-1050. 2019
-
book
Close
Bury, Guillaume
Publications
Contact
full name
- Guillaume Bury
Publications in VIVO
Co-author Network