ISMVL
1999
IEEE
13 years 8 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 4 months ago
2003
Springer
