Provenance Analysis for Logic and Games

Grädel, Erich (Corresponding author); Tannen, Val

Berkeley, CA / Mathematical Sciences Publ. (2020) [Journal Article]

Moscow journal of combinatorics and number theory
Volume: 9
Issue: 3
Page(s): 203-228

Identifier