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 = {program analysis, analysis, logic programming, logic}, researchr = {https://researchr.org/publication/Giacobazzi94%3A0}, cites = {0}, citedby = {0}, pages = {377-391}, booktitle = {Workshop on Design and Impl. of Parallel Logic Programming Systems}, }