### 6 papers:

- ITiCSE-2011-VihavainenPLK #scalability
- Extreme apprenticeship method: key practices and upward scalability (AV, MP, ML, JK), pp. 273–277.
- POPL-2009-MorihataMHT #divide and conquer #morphism #theorem
- The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer (AM, KM, ZH, MT), pp. 177–185.
- CSL-2006-Chatterjee06a #equilibrium #nash
- Nash Equilibrium for Upward-Closed Objectives (KC), pp. 271–286.
- TACAS-2000-DelzannoR #representation #set
- Symbolic Representation of Upward-Closed Sets (GD, JFR), pp. 426–440.
- ICALP-1989-Allender
- Limitations of the Upward Separation Technique (Preliminary Version) (EA), pp. 18–30.
- STOC-1977-SimonG #polynomial
- Polynomial Reducibilities and Upward Diagonalizations (IS, JG), pp. 186–194.