Patricia M. Hill, Fausto Spoto. Analysis of Downward Closed Properties of Logic Programs. In Teodor Rus, editor, Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings. Volume 1816 of Lecture Notes in Computer Science, pages 181-196, Springer, 2000. [doi]
@inproceedings{HillS00,
title = {Analysis of Downward Closed Properties of Logic Programs},
author = {Patricia M. Hill and Fausto Spoto},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/1816/18160181.htm},
tags = {program analysis, analysis, logic programming, logic},
researchr = {https://researchr.org/publication/HillS00},
cites = {0},
citedby = {0},
pages = {181-196},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
editor = {Teodor Rus},
volume = {1816},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67530-2},
}