Home
DCC eCatalog
Markus__Frick
The Complexity of First-order and Monadic Second-order Logic Revisited
