Evaluation of breast cancer risk by using formal reasoning algorithm | IEEE Conference Publication | IEEE Xplore