Publicaçoes - Direito, lógica e sistemas automáticos - Fernando Schapachnik