(2007) is the introduction of the possibility of handling document-level models by lifting the assumption of sentence independence.
enumerating the entire neighbourhood becomes too expensive, which is why we resort to a "first-choice" strategy that non-deterministically generates states and accepts the first one encountered that meets the acceptance criterion.