Text this: The computational complexity of logical theories /