https://1library.org/document/yjkdxm6q-representacao-computacional-para-grafos-de-prova.html