Vampire23: Author Index

Author	Papers
H
Hozzová, Petra	Integrating Answer Literals with AVATAR for Program Synthesis
S
Schulz, Stephan	Lazy and Eager Patterns in High-Performance Automated Theorem Proving
T
Tourret, Sophie	The Spawns of the Saturation Framework