@misc{indiciae9cb4ea6e20d6,
  title = {Theorem Proving In Higher Order Logics},
  author = {Carreno, Victor A. and Munoz, Cesar A. and Tahar, Sofiene},
  year = {2002},
  url = {https://ntrs.nasa.gov/citations/20020063594},
  note = {Source identifier: 20020063594}
}