On role logic (2003)

by V Kuncak, M C Rinard