@dblp

Omission-based Abstraction for Answer Set Programs - ERRATUM.

, and . Theory Pract. Log. Program., 21 (2): 292 (2021)

Links and resources

Tags