@article{
    BiereHeljankoJunttilaLatvalaSchuppan:LMCS2006,
    author = "Biere, Armin and Heljanko, Keijo and Junttila, Tommi and Latvala, Timo and Schuppan, Viktor",
    title = "Linear Encodings of Bounded {LTL} Model Checking",
    url = "http://dx.doi.org/10.2168/LMCS-2(5:5)2006",
    journal = "Logical Methods in Computer Science",
    number = "5:5",
    volume = "2",
    flags = "copy",
    year = "2006",
    pages = "1--64"
}