MIT Press (Cambridge, MA)
International Workshop on Logic Programming and Nonmonotonic Reasoning

Teusink, F. (1993). A characterization of stable models using a non-monotonic operator. In Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop (pp. 206–222). MIT Press (Cambridge, MA).