@InProceedings{VBS:TACAS-2023,
  author =       {Petar Vukmirovi{\'c} and Jasmin Christian Blanchette
                  and Stephan Schulz},
  title =        {Extending a High-Performance Prover to Higher-Order Logic},
  year =         {2023},
  OPTcrossref =  {},
  OPTkey =       {},
  booktitle =    {Proc.\ 29th Conference on Tools and Algorithms for
                  the Construction and Analysis of Systems
                  (TACAS'23), Paris, France},
  editor =       {Natasha Sharygina and Sriram Sankaranarayanan},
  volume =       {2},
  number =       {13994},
  series =       {LNCS},
  pages =        {111-132},
  OPTmonth =     {},
  OPTaddress =   {},
  OPTorganization = {},
  publisher =    {Springer},
  note =         {},
  OPTannote =    {StS}
}