%0 Thesis %A Moreno Navarro, Juan José %T Una lógica para programación lógica %D 2015 %U https://hdl.handle.net/20.500.14352/39511 %~