author = { Börger, Egon Kleine Büning, Hans AND Richter, Michael M. AND Schönfeld, Wolfgang },

title = { Computer Science Logic 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings },

publisher = {Springer Berlin Heidelberg},

isbn = {9783540384014},

keywords = { Algebra_xData processing , Artificial intelligence , Computer science , Computer software , Logic design , Computer Science , Konferenzschrift 1990 Heidelberg , Informatik , Logik },

year = {1991},

booktitle = {Lecture Notes in Computer Science ; 533},

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },

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