Sound and complete landmarks for and/Or graphs

From MaRDI portal
Publication:2999154