Brogi, et al.. A Unifying View for Logic Programming with Non-monotonic Reasoning. no. 1-2, Elsevier BV, 1997, doi:10.1016/s0304-3975(97)80755-4.