Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog

David Toman. Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog. In ILPS. pages 98-112, 1995.

Abstract

Abstract is missing.