@article{Limet:2006:TTL:1227637.1227641,
    Address = {Secaucus, NJ, USA},
    Author = {Limet, S{\'e}bastien and Salzer, Gernot},
    File = {Tree Tuple Languages from the Logic Programming Point of View - Limet, Salzer (0) (0) - a - a - g.pdf},
    ISSN = {0168-7433},
    Journal = {J. Autom. Reason.},
    Keywords = {inductive definitions, logic programming, tree tuples},
    Month = {November},
    Number = {4},
    Pages = {323--349},
    Publisher = {Springer-Verlag New York, Inc.},
    Title = {Tree Tuple Languages from the Logic Programming Point of View},
    URL = {http://dx.doi.org/10.1007/s10817-006-9064-8},
    Volume = {37},
    Year = {2006},
    acmid = {1227641},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s10817-006-9064-8},
    date-added = {2015-06-29 08:58:27 +0000},
    date-modified = {2015-06-29 08:58:27 +0000},
    issue_date = {November 2006},
    numpages = {27},
    doi = {10.1007/s10817-006-9064-8}
}

@article{Limet:2006:TTL:1227637.1227641, Address = {Secaucus, NJ, USA}, Author = {Limet, S{\'e}bastien and Salzer, Gernot}, File = {Tree Tuple Languages from the Logic Programming Point of View - Limet, Salzer (0) (0) - a - a - g.pdf}, ISSN = {0168-7433}, Journal = {J. Autom. Reason.}, Keywords = {inductive definitions, logic programming, tree tuples}, Month = {November}, Number = {4}, Pages = {323--349}, Publisher = {Springer-Verlag New York, Inc.}, Title = {Tree Tuple Languages from the Logic Programming Point of View}, URL = {http://dx.doi.org/10.1007/s10817-006-9064-8}, Volume = {37}, Year = {2006}, acmid = {1227641}, bdsk-url-1 = {http://dx.doi.org/10.1007/s10817-006-9064-8}, date-added = {2015-06-29 08:58:27 +0000}, date-modified = {2015-06-29 08:58:27 +0000}, issue_date = {November 2006}, numpages = {27}, doi = {10.1007/s10817-006-9064-8} }