A Simple Fixed Point Characterization of Three-valued Stable Model Semantics (1990)

Cached

Download Links

by S. Bonnier , U. Nilsson , T. Naslund
Venue:Information Processing Letters
Citations:8 - 1 self