TY  - BOOK
AU  - Van Hentenryck, Pascal,
TI  - Constraint satisfaction in logic programming
T2  - Logic programming
AV  - QA76.6 V32
PY  - 1989///
CY  - Cambridge, Massachusetts
PB  - The MIT Press
KW  - Programación lógica
N1  - Rev. de la tesis del autor-- university of namur, 1987
ER  -