Andreas Podelski
Set-Based Analysis of Logic Programs and Reactive Logic Programs
ICLP, 1997.
@inproceedings{ILPS-1997-Podelski,
author = "Andreas Podelski",
booktitle = "{Proceedings of the International Symposium on Logic Programming}",
isbn = "0-262-63180-6",
pages = "35--36",
publisher = "{MIT Press}",
title = "{Set-Based Analysis of Logic Programs and Reactive Logic Programs}",
year = 1997,
}