DBLP Record 'journals/igpl/EijckHN01'

BibTeX

@article{DBLP:journals/igpl/EijckHN01,
  author    = {Jan van Eijck and
               Juan Heguiabehere and
               Breannd{\'a}n {\'O} Nuall{\'a}in},
  title     = {Tableau Reasoning and Programming with Dynamic First Order
               Logic},
  journal   = {Logic Journal of the IGPL},
  volume    = {9},
  number    = {3},
  year      = {2001},
  ee        = {http://www3.oup.co.uk/igpl/Volume_09/Issue_03/\#Eijck},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}