Stem spacious$ (all stems)
2 papers:
- SIGIR-2013-VoS #interactive #interface #named
- Spacious: an interactive mental search interface (PDV, HS), pp. 1081–1082.
- STOC-2006-Nordstrom #proving
- Narrow proofs may be spacious: separating space and width in resolution (JN), pp. 507–516.