SPASS: Combining Superposition, Sorts and Splitting

@inproceedings{Weidenba1999SPASSCS,
  title={SPASS: Combining Superposition, Sorts and Splitting},
  author={Christoph Weidenba},
  year={1999}
}
  • Christoph Weidenba
  • Published 1999

Topic