Recommend this title to your librarian

  • Constraint Solving over Multi-valued Logics