Str : +ve`: The Str : +ve-based Subset Prover (1990)

by L Hines
Venue:10th International Conference on Automated Deduction, LNAI 449