TPTP Reference: Lei06


@Article{Lei06,
    Author       = "Leiss, H.",
    Year         = "2006",
    Title        = "{Kleene Modules and Linear Languages}",
    Journal      = "Journal of Logic and Algebraic Programming",
    Volume       = "66",
    Number       = "2",
    Pages        = "185-194",
    Comment      = "TPTPRef"
}