The Expressive Powers of Stable Models for Bound and Unbound DATALOG Queries

Domenico SaccĂ . The Expressive Powers of Stable Models for Bound and Unbound DATALOG Queries. J. Comput. Syst. Sci., 54(3):441-464, 1997.

Abstract

Abstract is missing.