added new sources for chain runner (two theory papers)