@article{382874,
      recid = {382874},
      author = {Azevedo, Francisco.},
      title = {Constraint solving over multi-valued logics application to  digital circuits / [electronic resource] :},
      publisher = {IOS Press,},
      address = {Amsterdam ;},
      pages = {xviii, 204 p. :},
      year = {2003},
      url = {http://library.usi.edu/record/382874},
}