ADG
Traverso, Conti
" Algebraic and semialgebraic proofs: methods and paradoxes "
ADG 2000. LNAI 2061. 2001.
Fuzzy statememts
Protocols