@misc{, author = {Berghammer, Rudolf; Haeberer, Armando Martín; Schmidt, Gunther; Veloso, Paulo A. S.}, title = {A new Class of Partially Evaluable Fork Algebras: Axiomatization and Models}, editor = {}, booktitle = {}, series = {}, journal = {}, address = {}, publisher = {}, edition = {}, year = {1995}, isbn = {}, volume = {}, number = {}, pages = {}, url = {}, doi = {}, keywords = {}, abstract = {}, note = {}, institution = {Universität der Bundeswehr München, Fakultät für Informatik, INF 2 - Institut für Softwaretechnologie, Professur: Schmidt, Gunther}, }