@inbook {KBSG_226,
        title = {A specification logic for reasoning about actions and explicit observations},
        booktitle = {AI 2010: Advances in Artificial Intelligence - 23rd Australasian  Joint Conference},
        series = {Lecture Notes in Computer Science},
        volume = {6464},
        year = {2010},
        pages = {395--404},
        publisher = {Springer},
        organization = {Springer},
        author = {Gavin Rens and Ivan Varzinczak and Thomas A. Meyer and Ferrein, Alexander}
}

{"_id":"TZXqHmKemZN5MsZt4","bibbaseid":"rens-varzinczak-meyer-ferrein-aspecificationlogicforreasoningaboutactionsandexplicitobservations-2010","author_short":["Rens, G.","Varzinczak, I.","Meyer, T. A.","Ferrein, A."],"bibdata":{"bibtype":"inbook","type":"inbook","title":"A specification logic for reasoning about actions and explicit observations","booktitle":"AI 2010: Advances in Artificial Intelligence - 23rd Australasian Joint Conference","series":"Lecture Notes in Computer Science","volume":"6464","year":"2010","pages":"395–404","publisher":"Springer","organization":"Springer","author":[{"firstnames":["Gavin"],"propositions":[],"lastnames":["Rens"],"suffixes":[]},{"firstnames":["Ivan"],"propositions":[],"lastnames":["Varzinczak"],"suffixes":[]},{"firstnames":["Thomas","A."],"propositions":[],"lastnames":["Meyer"],"suffixes":[]},{"propositions":[],"lastnames":["Ferrein"],"firstnames":["Alexander"],"suffixes":[]}],"bibtex":"@inbook {KBSG_226,\n title = {A specification logic for reasoning about actions and explicit observations},\n booktitle = {AI 2010: Advances in Artificial Intelligence - 23rd Australasian Joint Conference},\n series = {Lecture Notes in Computer Science},\n volume = {6464},\n year = {2010},\n pages = {395--404},\n publisher = {Springer},\n organization = {Springer},\n author = {Gavin Rens and Ivan Varzinczak and Thomas A. Meyer and Ferrein, Alexander}\n}\n","author_short":["Rens, G.","Varzinczak, I.","Meyer, T. A.","Ferrein, A."],"key":"KBSG_226","id":"KBSG_226","bibbaseid":"rens-varzinczak-meyer-ferrein-aspecificationlogicforreasoningaboutactionsandexplicitobservations-2010","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inbook","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.bib","dataSources":["dqRQPSg6Hy3ZXQg7z","mu2EJj6ChAtu4Px4s","i8ftsMK5wMbiNqmtB","pBDNm3knLemYTNMHw"],"keywords":[],"search_terms":["specification","logic","reasoning","actions","explicit","observations","rens","varzinczak","meyer","ferrein"],"title":"A specification logic for reasoning about actions and explicit observations","year":2010}