The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

The Classical Decision Problem

The work

AuthorsEgon Börger; Erich Grädel; Yuri G. Gurevich
Editors
Typebook
Year1997
Citekeyborger1997classical

Where it appeared

PublisherSpringer Nature

How it got here

How it got hereagent via openalex
Added2026-10-24 16:00 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@book{borger1997classical,
  title        = {The Classical Decision Problem},
  author       = {Egon Börger and Erich Grädel and Yuri G. Gurevich},
  year         = {1997},
  publisher    = {Springer Nature},
  doi          = {10.1007/978-3-642-59207-2},
}

This record lives at https://refs.drheap.org/borger1997classical/ and will keep doing so.