Adicionei referências, mudei pro estilo da ijcai e mais umas coisas