Alexander Epstein
Improving automation for resolution-style theorem proving
Contact details
aepstein@student.unimelb.edu.au