Sistemas usados en "Razonamiento automático" (98-99)