![](/img/cover-not-exists.png)
The Branching-Time Transformation Technique for Chain Datalog Programs
Panos Rondogiannis, Manolis GergatsoulisVolume:
17
Language:
english
Pages:
24
DOI:
10.1023/a:1012502800961
Date:
November, 2001
File:
PDF, 130 KB
english, 2001