Computing change and specificity with equational logic programs (1995)

by S Hölldobler, M Thielscher
Venue:Annals of Mathematics and Artificial Intelligence