C.: Matelas: A predicate calculus common formal definition for social networking (2010)

by N Cataño, Rueda
Venue:Proceedings of ABZ 2010, Lecture Notes in Computer Science