Unique fixed points vs. least fixed points. David Dobkin and J. Ian Munro . Determining the mode. Aravind K. Joshi , Leon S. Levy , and Kang Yueh . Complexity, convexity and combinations of theories.
Negation can be exponentially powerful.
Selection and sorting with limited storage. Minimal complete sets of words. John Gill , James Hunt , and Janos Simon . Deterministic simulation of tape-bounded probabilistic Turing machine transducers. On a bound for the D0L sequence equivalence problem.