DLV Compilation 2 (Explicit)

Realize (Explicit)