Login / Signup

Horn Clauses Queries and Generalizations.

Ashok K. ChandraDavid Harel
Published in: J. Log. Program. (1985)
Keyphrases