@inproceedings{151654,
    Author = {Fruhwirth, T. and Shapiro, E. and Vardi, M.Y. and Yardeni, E.},
    BookTitle = {Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on},
    File = {Logic programs as types for logic programs - Fruhwirth, Shapiro, Vardi, Yardeni (0) (0) - a - a - s.pdf},
    Keywords = {automata theory;computational complexity;formal logic;logic programming;alternating algorithms;complexity characterization;conservative approximations;denotational;descriptive type systems;logic programs;operational;optimistic type systems;program predicates;success set;two-way automata;type checking;type inference;unary-predicate programs;Automata;Automatic programming;Character recognition;Computational complexity;Error correction;Inference algorithms;Logic design;Logic programming;Program processors;Programming profession},
    Pages = {300-309},
    Title = {Logic programs as types for logic programs},
    Year = {1991},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1991.151654},
    date-added = {2013-04-17 08:02:54 +0000},
    date-modified = {2013-04-17 08:02:54 +0000},
    doi = {10.1109/LICS.1991.151654}
}

@inproceedings{151654, Author = {Fruhwirth, T. and Shapiro, E. and Vardi, M.Y. and Yardeni, E.}, BookTitle = {Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on}, File = {Logic programs as types for logic programs - Fruhwirth, Shapiro, Vardi, Yardeni (0) (0) - a - a - s.pdf}, Keywords = {automata theory;computational complexity;formal logic;logic programming;alternating algorithms;complexity characterization;conservative approximations;denotational;descriptive type systems;logic programs;operational;optimistic type systems;program predicates;success set;two-way automata;type checking;type inference;unary-predicate programs;Automata;Automatic programming;Character recognition;Computational complexity;Error correction;Inference algorithms;Logic design;Logic programming;Program processors;Programming profession}, Pages = {300-309}, Title = {Logic programs as types for logic programs}, Year = {1991}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1991.151654}, date-added = {2013-04-17 08:02:54 +0000}, date-modified = {2013-04-17 08:02:54 +0000}, doi = {10.1109/LICS.1991.151654} }