Title: Decision procedures for elementary sublanguages of set theory.  XIV.  Three languages involving rank related constructs
First published: 1988