Galiagher, Keith Brian Lyle, James R. Prolog-Based Meta-Rules for Relational Database Representation and Manipulation - 762-788 p. Subjects--Topical Terms: Software MintenanceProgram SlcingSoftware Testing