Update 2014-01-03-readings-in-linear-logic.markdown

Adding information regarding ATS