Added to the definitions section in the ITP2014 paper
Merge branch 'writing_the_ITP2014_paper' of https://github.com/mabdula/planning into writing_the_ITP2014_paper

Merging changes in the definitions.
added definitions to the paper