DMCA

Empirical Study of Logic-Based Modules: Cheap Is Cheerful

by Chiara Del Vescovo , Pavel Klinov , Bijan Parsia , Ulrike Sattler , Thomas Schneider , Dmitry Tsarkov
Citations:5 - 2 self