Hyperresolution for Guarded Formulae. Georgieva, L., Hustadt, U., & Schmidt, R. A. In Ohlbach, H. J., Endriss, U., Rodrigues, O., & Schlobach, S., editors, Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, King's College London, UK, 20-21 July 2000, volume 32, of CEUR Workshop Proceedings, 2000. CEUR-WS.org.
Hyperresolution for Guarded Formulae [link]Paper  bibtex   
@inproceedings{DBLP:conf/arw/GeorgievaHS00,
  author    = {Lilia Georgieva and
               Ullrich Hustadt and
               Renate A. Schmidt},
  editor    = {Hans J{\"{u}}rgen Ohlbach and
               Ulrich Endriss and
               Odinaldo Rodrigues and
               Stefan Schlobach},
  title     = {Hyperresolution for Guarded Formulae},
  booktitle = {Proceedings of the Seventh Workshop on Automated Reasoning, Bridging
               the Gap between Theory and Practice, King's College London, UK, 20-21
               July 2000},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {32},
  publisher = {CEUR-WS.org},
  year      = {2000},
  url       = {http://ceur-ws.org/Vol-32/georgieva.ps.gz},
  timestamp = {Tue, 28 May 2019 16:23:50 +0200},
  biburl    = {https://dblp.org/rec/conf/arw/GeorgievaHS00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0