On the Completeness of Residuation (1992)

by M Hanus
Venue:Proc. Joint Int. Conf. and Symp. on Logic Programming