Empirical study of logic-based modules: Cheap is cheerful (2013)

by C del Vescovo, P Klinov, B Parsia, U Sattler, T Schneider, D Tsarkov