A comparative analysis of the neutronic performance of thorium mixed with uranium or plutonium in a high-temperature pebble-bed reactor