ISMVL
1999
IEEE
14 years 3 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
14 years 11 months ago
2003
Springer
