@inproceedings{conf/zum/MiarkaDB02,
  added-at = {2020-06-15T00:00:00.000+0200},
  author = {Miarka, Ralph and Derrick, John and Boiten, Eerke A.},
  biburl = {https://www.bibsonomy.org/bibtex/253c99c5ed0277896a95edaade8ffe245/dblp},
  booktitle = {ZB},
  crossref = {conf/zum/2002},
  editor = {Bert, Didier and Bowen, Jonathan P. and Henson, Martin C. and Robinson, Ken},
  ee = {https://doi.org/10.1007/3-540-45648-1_11},
  interhash = {bb24954b61668f8e35ae13035bddfaac},
  intrahash = {53c99c5ed0277896a95edaade8ffe245},
  isbn = {3-540-43166-7},
  keywords = {dblp},
  pages = {204-225},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2020-06-16T12:39:12.000+0200},
  title = {Handling Inconsistencies in Z Using Quasi-Classical Logic.},
  url = {http://dblp.uni-trier.de/db/conf/zum/zb2002.html#MiarkaDB02},
  volume = 2272,
  year = 2002
}

{"_id":"9WZ5CczAjeCHgxQim","bibbaseid":"miarka-derrick-boiten-handlinginconsistenciesinzusingquasiclassicallogic-2002","authorIDs":[],"author_short":["Miarka, R.","Derrick, J.","Boiten, E. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2020-06-15T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Miarka"],"firstnames":["Ralph"],"suffixes":[]},{"propositions":[],"lastnames":["Derrick"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Boiten"],"firstnames":["Eerke","A."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/253c99c5ed0277896a95edaade8ffe245/dblp","booktitle":"ZB","crossref":"conf/zum/2002","editor":[{"propositions":[],"lastnames":["Bert"],"firstnames":["Didier"],"suffixes":[]},{"propositions":[],"lastnames":["Bowen"],"firstnames":["Jonathan","P."],"suffixes":[]},{"propositions":[],"lastnames":["Henson"],"firstnames":["Martin","C."],"suffixes":[]},{"propositions":[],"lastnames":["Robinson"],"firstnames":["Ken"],"suffixes":[]}],"ee":"https://doi.org/10.1007/3-540-45648-1_11","interhash":"bb24954b61668f8e35ae13035bddfaac","intrahash":"53c99c5ed0277896a95edaade8ffe245","isbn":"3-540-43166-7","keywords":"dblp","pages":"204-225","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2020-06-16T12:39:12.000+0200","title":"Handling Inconsistencies in Z Using Quasi-Classical Logic.","url":"http://dblp.uni-trier.de/db/conf/zum/zb2002.html#MiarkaDB02","volume":"2272","year":"2002","bibtex":"@inproceedings{conf/zum/MiarkaDB02,\n added-at = {2020-06-15T00:00:00.000+0200},\n author = {Miarka, Ralph and Derrick, John and Boiten, Eerke A.},\n biburl = {https://www.bibsonomy.org/bibtex/253c99c5ed0277896a95edaade8ffe245/dblp},\n booktitle = {ZB},\n crossref = {conf/zum/2002},\n editor = {Bert, Didier and Bowen, Jonathan P. and Henson, Martin C. and Robinson, Ken},\n ee = {https://doi.org/10.1007/3-540-45648-1_11},\n interhash = {bb24954b61668f8e35ae13035bddfaac},\n intrahash = {53c99c5ed0277896a95edaade8ffe245},\n isbn = {3-540-43166-7},\n keywords = {dblp},\n pages = {204-225},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2020-06-16T12:39:12.000+0200},\n title = {Handling Inconsistencies in Z Using Quasi-Classical Logic.},\n url = {http://dblp.uni-trier.de/db/conf/zum/zb2002.html#MiarkaDB02},\n volume = 2272,\n year = 2002\n}\n\n","author_short":["Miarka, R.","Derrick, J.","Boiten, E. A."],"editor_short":["Bert, D.","Bowen, J. P.","Henson, M. C.","Robinson, K."],"key":"conf/zum/MiarkaDB02","id":"conf/zum/MiarkaDB02","bibbaseid":"miarka-derrick-boiten-handlinginconsistenciesinzusingquasiclassicallogic-2002","role":"author","urls":{"Link":"https://doi.org/10.1007/3-540-45648-1_11","Paper":"http://dblp.uni-trier.de/db/conf/zum/zb2002.html#MiarkaDB02"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/John ?items=1000","creationDate":"2020-06-25T10:18:54.413Z","downloads":0,"keywords":["dblp"],"search_terms":["handling","inconsistencies","using","quasi","classical","logic","miarka","derrick","boiten"],"title":"Handling Inconsistencies in Z Using Quasi-Classical Logic.","year":2002,"dataSources":["7pwnyondczync5QcQ"]}