| Restricted combinatory unification A Bhayat, G Reger International Conference on Automated Deduction, 74-93, 2019 | 15 | 2019 |
| Set of Support for Higher-Order Reasoning. A Bhayat, G Reger PAAR@ FLoC, 2-16, 2018 | 13 | 2018 |
| Vampire A Voronkov, L Kovács, G Reger, M Suda, E Kotelnikov, S Robillard, ... | 13 | 2013 |
| A combinator-based superposition calculus for higher-order logic A Bhayat, G Reger International Joint Conference on Automated Reasoning, 278-296, 2020 | 9 | 2020 |
| Higher-order reasoning vampire style A Bhayat, G Reger 25th Automated Reasoning Workshop, 19, 2018 | 3 | 2018 |
| A Polymorphic Vampire A Bhayat, G Reger International Joint Conference on Automated Reasoning, 361-368, 2020 | 2 | 2020 |
| A Combinator-Based Superposition Calculus for Higher-Order Logic (Technical Report) A Bhayat, G Reger EasyChair, 2020 | 2 | 2020 |
| A knuth-bendix-like ordering for orienting combinator equations (technical report) A Bhayat, G Reger Technical report, University of Mancester, 2020 | 2 | 2020 |
| A Knuth-Bendix-like ordering for orienting combinator equations A Bhayat, G Reger International Joint Conference on Automated Reasoning, 259-277, 2020 | 1 | 2020 |
| Reinforced External Guidance for Theorem Provers M Rawson, A Bhayat, G Reger | | |
Giles RegerDepartment of Computer Science, University of ManchesterVerified email at manchester.ac.uk
