V. Wiktor Marek Inna Pivkina Miroslaw Truszczynski Annotated Revision Programs. 49-62 http://link.springer.de/link/service/series/0558/bibs/1730/17300049.htm 1999 conf/lpnmr/1999 LPNMR db/conf/lpnmr/lpnmr99.html#MarekPT99