Francisco Azevedo Thesis: Constraint solving over multi-valued logics - application to digital circuits. 125-127 2003 16 AI Commun. 2 http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=16&issue=2&spage=125 db/journals/aicom/aicom16.html#Azevedo03