6 papers:
ICALP-v2-2015-Zetzsche #approach- An Approach to Computing Downward Closures (GZ), pp. 440–451.
- ICALP-v2-2010-HabermehlMW #petri net
- The Downward-Closure of Petri Net Languages (PH, RM, HW), pp. 466–477.
PODS-2009-Figueira #satisfiability #similarity #testing #xpath- Satisfiability of downward XPath with data equality tests (DF), pp. 197–206.
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.
HCI-EI-1999-FostervoldL- Variation of sitting posture in work with VDU’s. The effect of downward gaze (KIF, IL), pp. 56–60.
SCC-1982-Turba #execution- A Facility for the Downward Execution of a High-Level Language (TNT), pp. 127–133.
