TY  - BOOK
AU  - Jouannaud Jean-Pierre
ED  - International Conference on Constraints in Computational Logics( 1st : 1994 : Munich )
ED  - International Conference on Constraints in Computational Logics
TI  - Constraints in computational logics : proceedings
U1  - 5.131 
PY  - 1994///
CY  - Berlin
PB  - Springer Verlag
KW  - Computational logic
KW  - Computer science
ER  -