"Extended Magic for Negation: Efficient Demand-Driven Evaluation of ..."

K. Tuncay Tekle, Yanhong A. Liu (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics