@inproceedings{Heintze,
    doi = {10.1109/lics.1997.614960},
    url = {https://doi.org/10.1109%2Flics.1997.614960},
    publisher = {{IEEE} Comput. Soc},
    author = {N. Heintze and D. McAllester},
    title = {On the cubic bottleneck in subtyping and flow analysis},
    booktitle = {Proceedings of Twelfth Annual {IEEE} Symposium on Logic in Computer Science}
}

@inproceedings{Heintze, doi = {10.1109/lics.1997.614960}, url = {https://doi.org/10.1109%2Flics.1997.614960}, publisher = {{IEEE} Comput. Soc}, author = {N. Heintze and D. McAllester}, title = {On the cubic bottleneck in subtyping and flow analysis}, booktitle = {Proceedings of Twelfth Annual {IEEE} Symposium on Logic in Computer Science} }