A simple fixed point characterization of three-valued stable model semantics (1991)

by S Bonnier, U Nilsson, T Näslund
Venue:Information Processing Letters