Semantic Acyclicity Under Constraints.

Pablo Barcel, Georg Gottlob, Andreas Pieris

Browse the full PODS paper archive.