Lunjin Lu, John G. Cleary. A Regular Type Analysis of Logic Programs. In ICLP. pages 613, 1999.
@inproceedings{LuC99:0, title = {A Regular Type Analysis of Logic Programs}, author = {Lunjin Lu and John G. Cleary}, year = {1999}, tags = {program analysis, analysis, logic programming, logic}, researchr = {https://researchr.org/publication/LuC99%3A0}, cites = {0}, citedby = {0}, pages = {613}, booktitle = {ICLP}, }