Item request has been placed!
×
Item request cannot be made.
×
Processing Request
A first-order representation of stable models[1]A preliminary version of this paper has appeared in: Proc. 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR ’97), J. Dix, U. Furbach and A. Nerode, eds, LNCS ...
Item request has been placed!
×
Item request cannot be made.
×
Processing Request