author = { Hanus, Michael AND Lucas, Salvador },

title = { An evaluation semantics for narrowing-based functional logic languages },

publisher = {Inst. für Informatik und Praktische Mathematik},

year = {2000},

abstract = {Literaturverz. S. 26 - 30},

booktitle = {Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel ; 2000},

address = { Kiel },

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