Sign in

An abstract machine for efficiently computing queries to well-founded models.

Konstantinos SagonasTerrance SwiftDavid Scott Warren
Published in: J. Log. Program. (2000)
Keyphrases