author = { LFCS 4 1997 Jaroslawl Adjan, Sergej I. },

title = { Logical foundations of computer science 4th international symposium ; proceedings },

publisher = {Springer},

isbn = {3540630457},

keywords = { Computers Congresses , Electronic data processing Congresses , Logic, Symbolic and mathematical Congresses , Konferenzschrift 1997 Jaroslawl , Informatik , Mathematische Logik },

year = {1997},

abstract = {Literaturangaben},

booktitle = {Lecture notes in computer science ; 1234},

address = { Berlin },

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