Vladimir Lifschitz Hudson Turner Representing Transition Systems by Logic Programs. 92-106 http://link.springer.de/link/service/series/0558/bibs/1730/17300092.htm 1999 conf/lpnmr/1999 LPNMR db/conf/lpnmr/lpnmr99.html#LifschitzT99