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