https://123dok.net/document/qmj59485-intermediate-languages-of-asp-solvers-and-tools.html