LARA This is an old revision of the document! Deciding a Language of Sets (and Relations) Consider a simple language of sets: Decision Procedures for Set-Valued Fields