Subrata Kumar Das M. Howard Williams A Path Finding Method for Constraint Checking in Deductive Databases. 223-244 1989 4 Data Knowl. Eng. db/journals/dke/dke4.html#DasW89