TY  - SER
AU  - Can for a, Gerardo
AU  - Cimitile, Anielio
AU  - Carlini, M
TI  - A Logic-Based Approach Reverse Engineering Tools Production
KW  - Case Tools
KW  - Data Flow Analysis
KW  - Logic Programming
ER  -