Propagating constraints in recursive deductive databases (1989)

by D Meenakshi, K, K Ramamohanarao
Venue:Proceedings of the North American Conference on Logic Programming