Compilation of Complex DATALOG with Stratified Negation

Thomas Ludwig. Compilation of Complex DATALOG with Stratified Negation. In BNCOD. pages 85-107, 1990.

Abstract

Abstract is missing.