“Optimal” collecting semantics for analysis in a hierarchy of logic program semantics

From MaRDI portal
Publication:4593956