TY  - BOOK
AU  - Flener, Pierre
TI  - Logic program synthesis from incomplete information
SN  - 0792395328
U1  - 005.11 
PY  - 1995///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - Logic Programming
ER  -