David B. Kemp Kotagiri Ramamohanarao Isaac Balbin Krishnamurthy Meenakshi Propagating Constraints in Recusive Deduction Databases. 981-998 1989 NACLP db/conf/slp/slp89.html#KempRBM89