Using Temporal Abduction for Biosignal Interpretation: A Case Study on QRS Detection | IEEE Conference Publication | IEEE Xplore