The combined impact of carbon type and catalyst-aided gasification process on the performance of a Direct Carbon Solid Oxide Fuel Cell