Read news on nontermination with our app.
Read more in the app
Evaluation order and nontermination in query languages