111
click to vote
ISMVL
1999
IEEE
15 years 7 months ago
1999
IEEE
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
CADE
2003
Springer
16 years 3 months ago
2003
Springer
