El sueño de Leibniz. Sobre deducción automática y razonadores artificiales - Legris, Javier (1997)
Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.