id: 05513174
dt: j
an: 05513174
au: Blass, Andreas; Gurevich, Yuri
ti: Two forms of one useful logic: Existential fixed point logic and liberal
    Datalog.
so: Comput. Res. Repos. 2008, Article No. 0811.0977 (2008).
py: 2008
pu: Association for Computing Machinery, New York, NY; Cornell University,
    Ithaka, NY
la: EN
cc: 
ut: 
ci: 
li: arXiv:0811.0977