Guarded Negation.

Vince Brny, Balder ten Cate, Luc Segoufin

Browse the full ICALP paper archive.