V. Wiktor Marek Inna Pivkina Miroslaw Truszczynski Annotated revision programs http://arxiv.org/abs/cs.AI/0107026 2001 CoRR cs.AI/0107026 db/journals/corr/corr0107.html#cs-AI-0107026 informal publication