Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt. Hyperresolution for Guarded Formulae. In Hans Jürgen Ohlbach, Ulrich Endriss, Odinaldo Rodrigues, Stefan Schlobach, 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, CEUR-WS.org, 2000. [doi]
@inproceedings{GeorgievaHS00,
title = {Hyperresolution for Guarded Formulae},
author = {Lilia Georgieva and Ullrich Hustadt and Renate A. Schmidt},
year = {2000},
url = {http://ceur-ws.org/Vol-32/georgieva.ps.gz},
researchr = {https://researchr.org/publication/GeorgievaHS00},
cites = {0},
citedby = {0},
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},
editor = {Hans Jürgen Ohlbach and Ulrich Endriss and Odinaldo Rodrigues and Stefan Schlobach},
volume = {32},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}