Vol-2210⫷ Vol-2211 ⫸Vol-2212
urn:nbn:de:0074-2211-0


Vol-2211/paper-31⫷Vol-2211/paper-32⫸Vol-2211/paper-33
Sebastian RudolphMantas Simkus

Satisfiability in the Triguarded Fragment of First-Order Logic