Multipath: un sistema para la programación lógica 

    Tubella, Jordi (Date of defense: 1996-11-13)