Decision Procedures for Stratified Set-Theoretic Syllogistics - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Domenico Cantone, Vincenzo Cutello. Decision Procedures for Stratified Set-Theoretic Syllogistics. In ISSAC. pages 105-110, 1993. [doi]

@inproceedings{CantoneC93,
  title = {Decision Procedures for Stratified Set-Theoretic Syllogistics},
  author = {Domenico Cantone and Vincenzo Cutello},
  year = {1993},
  doi = {10.1145/164081.164101},
  url = {http://doi.acm.org/10.1145/164081.164101},
  researchr = {https://researchr.org/publication/CantoneC93},
  cites = {0},
  citedby = {0},
  pages = {105-110},
  booktitle = {ISSAC},
}

runs on WebDSL