Applying SLD-Resolution to a Class of Non-Horn Logic Programs

Grigoris Antoniou, Elmar Langetepe

Research output: Contribution to journalArticle

3 Citations (Scopus)

Fingerprint Dive into the research topics of 'Applying SLD-Resolution to a Class of Non-Horn Logic Programs'. Together they form a unique fingerprint.

Arts & Humanities