Fast computation of low-rank matrix approximations.
The measurement calculus.
Deciding equivalences among conjunctive aggregate queries.
The rational numbers as an abstract data type.
On the maximum satisfiability of random formulas.
A characterization of regular expressions under bisimulation.