Invited Talk: Decision procedures for guarded logics.

Erich Grdel

Browse the full CADE paper archive.