Set Theory for Knowledge Representation by Cristiano Longo