## 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, }