TY - RPRT TI - Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? AU - Chiara Del Vescovo AU - Pavel Klinov AU - Bijan Parsia AU - Uli Sattler AU - Thomas Schneider AU - Dmitry Tsarkov PY - 2012 UR - https://arxiv.org/abs/1207.1641 ID - 1207.1641 ER -