Transformacion de programas logicos : algoritmos de casamiento de cadenas - Hernandez Gutierrez, Manuel (2004)