TY  - RPRT
TI  - Abduction in Well-Founded Semantics and Generalized Stable Models
AU  - José Júlio Alferes
AU  - Luís Moniz Pereira
AU  - Terrance Swift
PY  - 2003
UR  - https://arxiv.org/abs/cs/0312057
ID  - cs/0312057
ER  -