Using logic for protein structure prediction | IEEE Conference Publication | IEEE Xplore