Logic Programs as Definitions: a framework for and an evaluation of its semantics

Cached

Download Links

by Marc Denecker , Danny De Schreye