@techreport{rosu-stefanescu-ciobaca-moore-2012-tr,
    author = "Ro\c{s}u, Grigore and \c{S}tef\u{a}nescu, Andrei and Ciob\^{a}c\u{a}, \c{S}tefan and Moore, Brandon M.",
    month = "Jul",
    year = "2012",
    number = "http://hdl.handle.net/2142/32952",
    institution = "University of Illinois",
    title = "Reachability Logic"
}