@inproceedings { LiuLakemeyer:IJCAI2009:LocalEffects,
        title = {On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond},
        booktitle = {Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09)},
        year = {2009},
        publisher = {AAAI Press},
        organization = {AAAI Press},
        url_Paper = {https://kbsg.rwth-aachen.de/sites/kbsg/files/LiuLak_LocalEffects_ijcai09.pdf},
        author = {Yongmei Liu and Lakemeyer, Gerhard}
}

{"_id":"dt6Q5Lq8sA6hcTRNR","bibbaseid":"liu-lakemeyer-onfirstorderdefinabilityandcomputabilityofprogressionforlocaleffectactionsandbeyond-2009","author_short":["Liu, Y.","Lakemeyer, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond","booktitle":"Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09)","year":"2009","publisher":"AAAI Press","organization":"AAAI Press","url_paper":"https://kbsg.rwth-aachen.de/sites/kbsg/files/LiuLak_LocalEffects_ijcai09.pdf","author":[{"firstnames":["Yongmei"],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"propositions":[],"lastnames":["Lakemeyer"],"firstnames":["Gerhard"],"suffixes":[]}],"bibtex":"@inproceedings { LiuLakemeyer:IJCAI2009:LocalEffects,\n title = {On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond},\n booktitle = {Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09)},\n year = {2009},\n publisher = {AAAI Press},\n organization = {AAAI Press},\n url_Paper = {https://kbsg.rwth-aachen.de/sites/kbsg/files/LiuLak_LocalEffects_ijcai09.pdf},\n author = {Yongmei Liu and Lakemeyer, Gerhard}\n}\n","author_short":["Liu, Y.","Lakemeyer, G."],"key":"LiuLakemeyer:IJCAI2009:LocalEffects","id":"LiuLakemeyer:IJCAI2009:LocalEffects","bibbaseid":"liu-lakemeyer-onfirstorderdefinabilityandcomputabilityofprogressionforlocaleffectactionsandbeyond-2009","role":"author","urls":{" paper":"https://kbsg.rwth-aachen.de/sites/kbsg/files/LiuLak_LocalEffects_ijcai09.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.bib","dataSources":["dqRQPSg6Hy3ZXQg7z"],"keywords":[],"search_terms":["first","order","definability","computability","progression","local","effect","actions","beyond","liu","lakemeyer"],"title":"On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond","year":2009}