TY  - GEN
AU  - Simari,Guillermo I.
TI  - Belief dynamics and explanations in AnsProlog
ER  -