On the completeness of residuation (1992)

by M Hanus
Venue:In JICSLP’92