Search: Libkin, L, 2005, cs.toronto.edu, 100 - 499