Saumya K. Debray
Flow Analysis of a Simple Class of Dynamic Logic Programs
ICLP, 1987.
@inproceedings{SLP-1987-Debray87, author = "Saumya K. Debray", booktitle = "{Proceedings of the Fourth Symposium on Logic Programming}", isbn = "0-8186-0799-8", pages = "307--316", publisher = "{IEEE-CS}", title = "{Flow Analysis of a Simple Class of Dynamic Logic Programs}", year = 1987, }