T. Eiter, W. Faber, N. Leone, G. Pfeifer: "Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming"; 2002.