Overrings of Half-Factorial Orders | Synapse