Provenance Analysis for Logic and Games

(2019) [Preprint]

Autorinnen und Autoren

Autorinnen und Autoren

Grädel, Erich
Tannen, Val

Identifikationsnummern

  • REPORT NUMBER: RWTH-2019-12211