@inproceedings{DBLP:conf/time/KonevDDFH03,
  author       = {Boris Konev and
                  Anatoli Degtyarev and
                  Clare Dixon and
                  Michael Fisher and
                  Ullrich Hustadt},
  title        = {Towards the Implementation of First-Order Temporal Resolution: the
                  Expanding Domain Case},
  booktitle    = {10th International Symposium on Temporal Representation and Reasoning
                  / 4th International Conference on Temporal Logic {(TIME-ICTL} 2003),
                  8-10 July 2003, Cairns, Queensland, Australia},
  pages        = {72--82},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/TIME.2003.1214882},
  doi          = {10.1109/TIME.2003.1214882},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/KonevDDFH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"LhCuRDysnZew4sGpM","bibbaseid":"konev-degtyarev-dixon-fisher-hustadt-towardstheimplementationoffirstordertemporalresolutiontheexpandingdomaincase-2003","author_short":["Konev, B.","Degtyarev, A.","Dixon, C.","Fisher, M.","Hustadt, U."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Boris"],"propositions":[],"lastnames":["Konev"],"suffixes":[]},{"firstnames":["Anatoli"],"propositions":[],"lastnames":["Degtyarev"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]}],"title":"Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case","booktitle":"10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia","pages":"72–82","publisher":"IEEE Computer Society","year":"2003","url":"https://doi.org/10.1109/TIME.2003.1214882","doi":"10.1109/TIME.2003.1214882","timestamp":"Sun, 06 Oct 2024 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/time/KonevDDFH03.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/time/KonevDDFH03,\n author = {Boris Konev and\n Anatoli Degtyarev and\n Clare Dixon and\n Michael Fisher and\n Ullrich Hustadt},\n title = {Towards the Implementation of First-Order Temporal Resolution: the\n Expanding Domain Case},\n booktitle = {10th International Symposium on Temporal Representation and Reasoning\n / 4th International Conference on Temporal Logic {(TIME-ICTL} 2003),\n 8-10 July 2003, Cairns, Queensland, Australia},\n pages = {72--82},\n publisher = {{IEEE} Computer Society},\n year = {2003},\n url = {https://doi.org/10.1109/TIME.2003.1214882},\n doi = {10.1109/TIME.2003.1214882},\n timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/time/KonevDDFH03.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Konev, B.","Degtyarev, A.","Dixon, C.","Fisher, M.","Hustadt, U."],"key":"DBLP:conf/time/KonevDDFH03","id":"DBLP:conf/time/KonevDDFH03","bibbaseid":"konev-degtyarev-dixon-fisher-hustadt-towardstheimplementationoffirstordertemporalresolutiontheexpandingdomaincase-2003","role":"author","urls":{"Paper":"https://doi.org/10.1109/TIME.2003.1214882"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["towards","implementation","first","order","temporal","resolution","expanding","domain","case","konev","degtyarev","dixon","fisher","hustadt"],"title":"Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case","year":2003}