Stem oint$ (all stems)
1 papers:
RTA-1995-BaaderS #algebra #constraints #perspective #theorem proving- Combination of Constraint Solving Techniques: An Algebraic POint of View (FB, KUS), pp. 352–366.
RTA-1995-BaaderS #algebra #constraints #perspective #theorem proving