Bibliography.
Merge branch 'writing_the_ITP2014_paper' of https://github.com/mabdula/planning into writing_the_ITP2014_paper