Juan Carlos Acosta Guadarrama Implementing Knowledge Update Sequences. 1-8 2007 MICAI http://dx.doi.org/10.1007/978-3-540-76631-5_1 db/conf/micai/micai2007.html#Guadarrama07