Computing change and specificity with equational logic programs.

Steffen Hölldobler Michael Thielscher Computing change and specificity with equational logic programs. 1995 14 Ann. Math. Artif. Intell. 1 db/journals/amai/amai14.html#HolldoblerT95