%0 Journal Article
%T Optimum stable model search: algorithms and implementation
%A Alviano, Mario
%A Dodaro, Carmine
%A Marques-Silva, Joao
%A Ricca, Francesco
%J Journal of Logic and Computation
%V Advance Article
%@ 0955-792X
%D 2015-08-31
%I Oxford University Press
%~ DeepDyve