TY  - RPRT
TI  - Minimum Model Semantics for Logic Programs with Negation-as-Failure
AU  - Panos Rondogiannis
AU  - William W. Wadge
PY  - 2003
UR  - https://arxiv.org/abs/cs/0306017
ID  - cs/0306017
ER  -