Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?

Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider, Dmitry Tsarkov

    Research output: Contribution to journalArticlepeer-review

    Original languageEnglish
    JournalarXiv preprint arXiv:1207.1641
    Publication statusPublished - 2012

    Cite this