Formal Aspects of Case-Based Data Modelling for Intelligent Drilling Control | IEEE Conference Publication | IEEE Xplore