The Branching-Time Transformation Technique for Chain Datalog Programs.

Panos Rondogiannis Manolis Gergatsoulis The Branching-Time Transformation Technique for Chain Datalog Programs. 71-94 2001 17 J. Intell. Inf. Syst. 1 db/journals/jiis/jiis17.html#RondogiannisG01