TY  - BOOK
AU  - Leite, Joao Alexandre
TI  - Evolving knowledge bases: specifications and semantics 
SN  - 158603278X
PY  - 2003///
CY  - Amsterdam, The Netherlands
PB  - IOS Press
KW  - Logic programming
KW  - Expert systems (Computer science)
N1  - Includes bibliographical references (p. 283-301)
ER  -