"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics.

Roberto Giacobazzi

Browse the full STACS paper archive.