TPTP Reference: BE04

TPTP Reference: `BE04`

@Article{BE04,
    Author       = "Boeva, V. and Ekenberg, L.",
    Year         = "2004",
    Title        = "{A Transition Logic for Schemata Conflicts}",
    Journal      = "Data & Knowledge Engineering",
    Volume       = "51",
    Number       = "3",
    Pages        = "277-294",
    Comment      = "TPTPRef"
}

@Article{BE04,
    Author       = "Boeva, V. and Ekenberg, L.",
    Year         = "2004",
    Title        = "{A Transition Logic for Schemata Conflicts}",
    Journal      = "Data and Knowledge Engineering",
    Volume       = "51",
    Number       = "3",
    Pages        = "277-294",
    Comment      = "TPTPRef"
}