@article{DBLP:journals/jsc/GeorgievaHS03,
  author       = {Lilia Georgieva and
                  Ullrich Hustadt and
                  Renate A. Schmidt},
  title        = {Hyperresolution for guarded formulae},
  journal      = {J. Symb. Comput.},
  volume       = {36},
  number       = {1-2},
  pages        = {163--192},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0747-7171(03)00034-8},
  doi          = {10.1016/S0747-7171(03)00034-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/GeorgievaHS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"6xP6Kp8beBuRroNe6","bibbaseid":"georgieva-hustadt-schmidt-hyperresolutionforguardedformulae-2003","author_short":["Georgieva, L.","Hustadt, U.","Schmidt, R. A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Lilia"],"propositions":[],"lastnames":["Georgieva"],"suffixes":[]},{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Renate","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]}],"title":"Hyperresolution for guarded formulae","journal":"J. Symb. Comput.","volume":"36","number":"1-2","pages":"163–192","year":"2003","url":"https://doi.org/10.1016/S0747-7171(03)00034-8","doi":"10.1016/S0747-7171(03)00034-8","timestamp":"Wed, 17 Feb 2021 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/jsc/GeorgievaHS03.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jsc/GeorgievaHS03,\n author = {Lilia Georgieva and\n Ullrich Hustadt and\n Renate A. Schmidt},\n title = {Hyperresolution for guarded formulae},\n journal = {J. Symb. Comput.},\n volume = {36},\n number = {1-2},\n pages = {163--192},\n year = {2003},\n url = {https://doi.org/10.1016/S0747-7171(03)00034-8},\n doi = {10.1016/S0747-7171(03)00034-8},\n timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/jsc/GeorgievaHS03.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Georgieva, L.","Hustadt, U.","Schmidt, R. A."],"key":"DBLP:journals/jsc/GeorgievaHS03","id":"DBLP:journals/jsc/GeorgievaHS03","bibbaseid":"georgieva-hustadt-schmidt-hyperresolutionforguardedformulae-2003","role":"author","urls":{"Paper":"https://doi.org/10.1016/S0747-7171(03)00034-8"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj"],"keywords":[],"search_terms":["hyperresolution","guarded","formulae","georgieva","hustadt","schmidt"],"title":"Hyperresolution for guarded formulae","year":2003}