Alun D. Preece Clifford Grossner Thiruvengadam Radhakrishnan Validating Rule-Based Systems that Operate with Incomplete Data. 77-90 1995 conf/eurovav/1995 EUROVAV db/conf/eurovav/eurovav1995.html#PreeceGR95