• A. Mehrotra, S. Qadeer, V. Singhal, R. K. Brayton, A. Aziz, A. L. Sangiovanni-Vincentelli. Sequential Optimisation without State Space Exploration. Proceedings of the International Conference on Computer-Aided Design, 1997. Postscript.
• S. Qadeer, V. Singhal, C. Pixley, R. K. Brayton. Latch Redundancy Removal without Global Reset. Proceedings of the International Conference on Computer Design, 1996. Postscript.