Structural resolution for logic programming

Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Fingerprint Dive into the research topics of 'Structural resolution for logic programming'. Together they form a unique fingerprint.

Engineering & Materials Science