Guarded Negation Transitive Closure Logic.

Diego Figueira, Santiago Figueira, Yoshiki Nakamura

Browse the full LICS paper archive.