@incollection{Miller_2002,
        doi = {10.1007/3-540-45632-5_17},
        url = {https://doi.org/10.1007\%2F3-540-45632-5_17},
        year = 2002,
        publisher = {Springer Berlin Heidelberg},
        pages = {452--490},
        author = {Rob Miller and Murray Shanahan},
        title={{{Some Alternative Formulations of the Event Calculus}}},
        booktitle = {Computational Logic: Logic Programming and Beyond}
}

{"_id":"YskqBuqhiP4CW48tJ","bibbaseid":"miller-shanahan-somealternativeformulationsoftheeventcalculus-2002","author_short":["Miller, R.","Shanahan, M."],"bibdata":{"bibtype":"incollection","type":"incollection","doi":"10.1007/3-540-45632-5_17","url":"https://doi.org/10.1007\\%2F3-540-45632-5_17","year":"2002","publisher":"Springer Berlin Heidelberg","pages":"452–490","author":[{"firstnames":["Rob"],"propositions":[],"lastnames":["Miller"],"suffixes":[]},{"firstnames":["Murray"],"propositions":[],"lastnames":["Shanahan"],"suffixes":[]}],"title":"Some Alternative Formulations of the Event Calculus","booktitle":"Computational Logic: Logic Programming and Beyond","bibtex":"@incollection{Miller_2002,\n doi = {10.1007/3-540-45632-5_17},\n url = {https://doi.org/10.1007\\%2F3-540-45632-5_17},\n year = 2002,\n publisher = {Springer Berlin Heidelberg},\n pages = {452--490},\n author = {Rob Miller and Murray Shanahan},\n title={{{Some Alternative Formulations of the Event Calculus}}},\n booktitle = {Computational Logic: Logic Programming and Beyond}\n}\n\n","author_short":["Miller, R.","Shanahan, M."],"key":"Miller_2002","id":"Miller_2002","bibbaseid":"miller-shanahan-somealternativeformulationsoftheeventcalculus-2002","role":"author","urls":{"Paper":"https://doi.org/10.1007\\%2F3-540-45632-5_17"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"incollection","biburl":"https://bibbase.org/network/files/WHTzEF4iNkBsbixuA","dataSources":["EQkpjiJorzbSFGLvW"],"keywords":[],"search_terms":["alternative","formulations","event","calculus","miller","shanahan"],"title":"Some Alternative Formulations of the Event Calculus","year":2002}