Clique em [extra] Multiple-Conclusion Logic (UNILOG 2005) para abrir o recurso.