Representación del conocimiento y demostración automática mediante sistemas de lógica modal ocasional - Manuel Alfonseca Moreno (Director) Doctorando: Anselmo Romaniega Langa (1986)