TY  - RPRT
TI  - Compilability of Abduction
AU  - Paolo Liberatore
AU  - Marco Schaerf
PY  - 2002
DO  - 10.1145/1182613.1182615
UR  - https://arxiv.org/abs/cs/0210007
ID  - cs/0210007
ER  -