@misc {IOPORT.70279879,
    author       = {Bj{\o}rner, Nikolaj and De Moura, Leonardo Mendon\c{c}a},
    title        = {Tapas: theory combinations and practical applications},
    howpublished = {FORMATS, 1-6 (2009).},
    year         = {2009},
    doi          = {10.1007/978-3-642-04368-0_1},
    identifier   = {70279879},
}