## Stem nonassoci$ (all stems)

### 2 papers:

- LATA-2010-Lin #calculus #complexity
- Modal Nonassociative Lambek Calculus with Assumptions: Complexity and Context-Freeness (ZL0), pp. 414–425.
- CADE-1988-Stevens #challenge #problem #proving #theorem proving
- Challenge Problems from Nonassociative Rings for Theorem Provers (RLS), pp. 730–734.