, `` domain circumscription '' ( cfXXX Etherington and Mercer 1987 ) , and their kin .
domain circumscription a reevaluationquot
D W Etherington R E Mercer
Since techniques developed elsewhere may prove useful , at least for comparison , it is worth mentioning at this point that the proposed metarules are distant cousins of `` unique-name assumption '' ( Genesereth and Nilsson 1987 ) , `` domain closure assumption '' ( ibid . ) , `` domain circumscription '' ( cfXXX Etherington and Mercer 1987 ) , and their kin . Similarly , the notion of R + M-abduction is spiritually related to the `` abductive inference '' of Reggia ( 1985 ) , the `` diagnosis from first principles '' of Reiter ( 1987 ) , `` explainability '' of Poole ( 1988 ) , and the subset principle of Berwick ( 1986 ) .
, `` domain circumscription '' ( cfXXX @@CITATION ) , and their kin .