A note on the solution equivalence to general models for RIM quantifier problems
scientific article; zbMATH DE number 6841617