Topping is a bad idea because it causes 'water sprouts' to grow and actually make the tree expand more than if you were to not top it.
The proper way to handle it is to drop-crotch.
A Guide to Successful Pruning: Stop Topping Trees! | VCE Publications | Virginia Tech
In reality, a tree will eventually grow to a certain terminal size, so in the long term you are better off 'relocating' the tree. Plant a new tree that will not grow to the size where it will be a problem.
I have a tree in my yard that I think over the next 15 years will eventually be a shade problem for my solar system. I'm going to plant two proper sized(once mature) trees that won't grow as big soon and then when the tree becomes a problem, I will have other trees that have been maturing be the ones to take the place to prevent the yard from being bare. This is how you properly relocate trees and solve your problem.