《唐书》：至德元载十月，房琯自请讨贼，分军为三：杨希文将南军，自宜寿入；刘哲将中军，自武功入；李光进将北军，自奉天入；琯自将中军，为前锋。辛丑，中军北军遇贼于陈涛斜，接战，败绩。癸卯，琯自以南军战，又败。《通鉴注》：陈陶斜在咸阳县东。斜者山泽之名，故又曰陈陶泽。
