TY - RPRT TI - Lloyd-Topor Completion and General Stable Models AU - Vladimir Lifschitz AU - Fangkai Yang PY - 2013 UR - https://arxiv.org/abs/1301.1394 ID - 1301.1394 ER -