(2006). LOGS2005: Editor de demostraciones en lógica ecuacional.
Chicago Style (17th ed.) CitationLOGS2005: Editor De Demostraciones En Lógica Ecuacional. 2006.
MLA (8th ed.) CitationLOGS2005: Editor De Demostraciones En Lógica Ecuacional. 2006.
Warning: These citations may not always be 100% accurate.