Mining the Logs: Important theoretical works