Report copyright - Completenessof ProofSystemsfor Equational SpecificationsIEEE TRANSACTIONSONSOFTWAREENGINEERING, VOL. SE-11, NO. 5, MAY 1985 its simplicity and the small amount ofadditional communica-tion
Please pass captcha verification before submit form