Automated theorem-proving fi3r theories with simplifiers

@inproceedings{Slagle1974AutomatedTF,
  title={Automated theorem-proving fi3r theories with simplifiers},
  author={James R. Slagle},
  year={1974}
}

Similar Papers