Michael Codish, Vitaly Lagoon, Francisco Bueno. Sharing Analysis for Logic Programs using Set Logic Programs. In Paqui Lucio, Maurizio Martelli, Marisa Navarro, editors, 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 96, Donostia-San Sebastian, Spain, July 15-18, 1996. pages 29-40, 1996.
@inproceedings{CodishLB96,
title = {Sharing Analysis for Logic Programs using Set Logic Programs},
author = {Michael Codish and Vitaly Lagoon and Francisco Bueno},
year = {1996},
tags = {program analysis, analysis, logic programming, logic},
researchr = {https://researchr.org/publication/CodishLB96},
cites = {0},
citedby = {0},
pages = {29-40},
booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 96, Donostia-San Sebastian, Spain, July 15-18, 1996},
editor = {Paqui Lucio and Maurizio Martelli and Marisa Navarro},
}