Fundamentos da Programação Lógica e Funcional. O Princípio de Resolução e a Teoria de Reescrita

Name: Fundamentos da Programação Lógica e Funcional. O Princípio de Resolução e a Teoria de Reescrita
Author: Mauricio Ayala-Rincón, Flávio Leonardo Cavalcanti de Moura