José Alberto Fernández Jack Minker Adnan H. Yahya Computing Perfect and Stable Model Using Ordered Model Trees. 89-112 1995 11 Computational Intelligence db/journals/ci/ci11.html#FernandezMY95