Optimisation problems in logic programming: an algebraic approach (2000)

by S Seres, S C Mu
Venue:In Proceedings of LPSE'00