@unpublished{stark-ldd,
        AUTHOR = "E. W. Stark and W. Song",
        TITLE = "Linear Decision Diagrams",
        MONTH = APR,
        YEAR = 2004,
        NOTE = "Unpublished manuscript."
}