TY - RPRT TI - Applying Practice to Theory AU - Ryan Williams PY - 2008 UR - https://arxiv.org/abs/0811.1305 ID - 0811.1305 ER -