On the Completeness of Residuation (1992)

by M Hanus
Venue:In Proc. of the 1992 Joint International Conference and Symposium on Logic Programming