A Rule-Based Notation to Specify Executable Electronic Contracts. - Massimo Strano; Carlos Molina-Jiménez; Santosh K. Shrivastava (RuleML, 2008)

Implementing a Rule-Based Contract Compliance Checker. - Massimo Strano; Carlos Molina-Jiménez; Santosh K. Shrivastava (I3E, 2009)

Exception Handling in Electronic Contracting. - Carlos Molina-Jiménez; Santosh K. Shrivastava; Massimo Strano (CEC, 2009)

A Model for Checking Contractual Compliance of Business Interactions. - Carlos Molina-Jiménez; Santosh K. Shrivastava; Massimo Strano (IEEE Trans. Serv. Comput., 2012)