TPTP Reference: Fri04

TPTP Reference: `Fri04`

@Article{Fri04,
    Author       = "Friedrich, S.",
    Year         = "2004",
    Title        = "{Lazy Lists II}",
    Journal      = "Archive of Formal Proofs",
    Note         = "http://isa-afp.org/entries/Lazy-Lists-II.shtml",
    Comment      = "TPTPRef"
}