Roberto Giacobazzi. Abductive Analysis of Modular Logic Programs. In Workshop on Design and Impl. of Parallel Logic Programming Systems. pages 377-391, 1994.
@inproceedings{Giacobazzi94:0,
title = {Abductive Analysis of Modular Logic Programs},
author = {Roberto Giacobazzi},
year = {1994},
tags = {analysis, logic, logic programming, program analysis},
researchr = {http://researchr.org/publication/Giacobazzi94%3A0},
cites = {0},
citedby = {0},
pages = {377-391},
booktitle = {Workshop on Design and Impl. of Parallel Logic Programming Systems},
}