TPTP Reference: Bos00

TPTP Reference: `Bos00`

@Unpublished{Bos00-ATP,
    Author       = "Bos, J.",
    Year         = "2000",
    Title        = "{Applied Theorem Proving - Natural Language Testsuite}",
    Note         = "http://www.coli.uni-sb.de/~bos/atp/",
    Comment      = "TPTPRef"
}

@Unpublished{Bos00-Interface,
    Author       = "Bos, J.",
    Year         = "2000",
    Title        = "{DORIS: Discourse Oriented Representation and Inference
                    System}",
    Note         = "http://www.coli.uni-sb.de/~bos/atp/doris.html",
    Comment      = "TPTPRef"
}