@InProceedings{VBCS:TACAS-2019,
  author =       {Petar Vukmirovi{\'c} and Jasmin Christian Blanchette
                  and Simon Cruanes and Stephan Schulz},
  title =        {Extending a brainiac prover to lambda-free higher-order logic},
  year =         {2019},
  OPTcrossref =  {},
  OPTkey =       {},
  booktitle =    {Proc.\ 25th Conference on Tools and Algorithms for
                  the Construction and Analysis of Systems
                  (TACAS'19)},
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  OPTpages =     {},
  OPTmonth =     {},
  OPTaddress =   {},
  OPTorganization = {},
  OPTpublisher = {},
  note =         {(to appear)},
  OPTannote =    {}
}