author = { Zarrieß, Benjamin Technische Universität Dresden Baader, Franz AND Sardina, Sebastian },

title = { Verification of Golog Programs over Description Logic Actions },

publisher = {},

keywords = { Hochschulschrift , ALGOL , Logische Programmiersprache },

year = {2. November 2017},

address = { Dresden },

url = { http://slubdd.de/katalog?TN_libero_mab2 }