Move citations to related work section.
Merge branch 'pldi-2015' of github.com:davdar/maam into pldi-2015
Cousot cite.
Merge branch 'pldi-2015' of github.com:davdar/maam into pldi-2015
Some related work.
Try out different title.
Merge branch 'pldi-2015' of github.com:davdar/maam into pldi-2015