Simon Parkinson, Andrew Longstaff, Andrew Crampton, Simon Fletcher, G. Allen, Alan Myers. Representing the process of machine tool calibration on first-order logic. In 17th International Conference on Automation and Computing, ICAC 2011, Huddersfield, United Kingdom, September 10, 2011. pages 22-27, IEEE, 2011. [doi]
Abstract is missing.