Ernest Rotterdam Sieger van Denneheuvel Pim Hennis Peter van Emde Boas Resolution of Constraint Inconsistency with the Aim to Provide Support in Anaesthesia. 541-552 1993 conf/dexa/1993 DEXA db/conf/dexa/dexa93.html#RotterdamDHB93 http://dx.doi.org/10.1007/3-540-57234-1_55