A Probabilistic Programming Approach to Protein Structure Superposition | IEEE Conference Publication | IEEE Xplore