Residuation: A Paradigm for Integrating Logic and Functional Programming (1986)

by H Aït-Kaci, R Nasr