id: 70471669
dt: a
an: 70471669
au: Giacobazzi, Roberto
ti: Abductive analysis of modular logic programs
so: SLP, 377-391 (1994).
py: 1994
pu: 
la: EN
cc: 
ut: 
ci: 
li: