Weighted random sampling with a reservoir
The equivalence problem for deterministic MSO tree transducers is decidable
Guarding galleries and terrains