Computing scope dominance with upward monotone quantifiers

From MaRDI portal
Publication:812145