Engineering an Incremental ASP Solver

by M. Gebser , R. Kaminski , B. Kaufmann , M. Ostrowski , T. Schaub , S. Thiele
Citations:27 - 15 self