Computing Perfect and Stable Model Using Ordered Model Trees

José Alberto Fernández, Jack Minker, Adnan H. Yahya. Computing Perfect and Stable Model Using Ordered Model Trees. Computational Intelligence, 11:89-112, 1995.