Undecidability of bisimilarity by defender's forcing.
On the minimization of XPath queries.
Bit complexity of breaking and achieving symmetry in chains and rings.
Towards 3-query locally decodable codes of subexponential length.
A formal foundation for XrML.