Head-elementary-set-free logic programs (2007)

by M Gebser, J Lee, Y Lierler
Venue:In Procedings of the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning