On the existence and unicity of stable models in normal residuated logic programs
Madrid, Nicolás, Ojeda-Aciego, ManuelVolume:
89
Language:
english
Journal:
International Journal of Computer Mathematics
DOI:
10.1080/00207160.2011.580842
Date:
February, 2012
File:
PDF, 132 KB
english, 2012