@inproceedings{67d9d85222b249c391d81a7f5c669b24,
title = "System description of LAMBDALG - A higher order algebraic specification language",
author = "Yexuan Gui and Mitsuhiro Okada",
year = "1993",
doi = "10.1007/3-540-56944-8_69",
language = "English",
isbn = "9783540569442",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "354--356",
editor = "Andrei Voronkov",
booktitle = "Logic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings",
note = "4th International Conference on Logic Programming and Automated Reasoning, LPAR 1993 ; Conference date: 13-07-1993 Through 20-07-1993",
}