Answer Sets for Prioritized Logic Programs.

Yan Zhang Norman Y. Foo Answer Sets for Prioritized Logic Programs. 69-83 1997 ILPS db/conf/slp/slp97.html#ZhangF97