Analysis of Residuating Logic Programs (1995)

by M Hanus
Venue:J. Log. Program