Computing change and specificity with equational logic programs (1995)

by Steffen Holldobler, Michael Thielscher
Venue:Annals of Mathematics and Artificial Intelligence