Computing change and specificity with equational logic programs (1995)

by Steffen Hölldobler, Michael Thielscher
Venue:Annals of Mathematics and Artificial Intelligence