ML-1994-11: Natasha Alechina On One Decidable Generalized Quantifier Logic Corresponding to a Decidable Fragment of First-Order Logic 1.Full Text, 2.Abstract. < Back
