TY  - SER
AU  - Galiagher, Keith Brian
AU  - Lyle, James R.
TI  - Prolog-Based Meta-Rules  for  Relational Database Representation and Manipulation
KW  - Software Mintenance
KW  - Program Slcing
KW  - Software Testing
ER  -