Many changes to references, style, and the first 3 pages.

* [BIBTEX] Added cleaned BiBTeX files locally.
* [LATEX] No longer using PraSem style file (conflicts with the AAAI style file).
* [APPROACH] Added outline of the approach.
* [IMPLEMENTATION] Put implementation details in a separate TeX file.
* [IND] Rewrote the first part of the 'ind', i.e. core of the 'approach' section.
* [PRELIM] Extensively cleaned the preliminaries section.
* [PROBLEM] Put the problem statement section into a separate file.
* [RELATED_WORK] Extended the related work section.
* [TYPED_LITERALS] Placed the typed literals section into a separate file.