Examples of application of Fages' theorem to answer set programming?

stackoverflow.com