Changed the paper into the FLAIRS format. Checked in the AAAI files