Constraints in computational logics : proceedings - Jouannaud Jean-Pierre; International Conference on Constraints in Computational Logics( 1st : 1994 : Munich ); International Conference on Constraints in Computational Logics Munich, 1994 (Berlin Springer Verlag, 1994)
Keywords: Computational logic; Computer science