Paoli, F. Logic and Groups. LLP 2004, 9, 109-128.