The representation of electronic agreements : a survey of logic-based approaches - Γιαννίκης, Γεώργιος Κ. ([s.n.], 2007)