The logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings / A. Fuhrmann and M. Morreau (Eds.) - Berlin : Springer-Verlag, 1991 - 334 p. - Lecture notes in computer science ; no. 465 . ISBN: 3540535675 Subjects--Topical Terms: Logic programming--Addresses, essays, lectures LC Class. No.: QA76.6 / L65