Title: A decision procedure for set-theoretic formulae involving rank and cardinality comparison
First published: 1989