CITATION STYLE
Pfenning, F. (1994). Elf: A meta-language for deductive systems (System description). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 814 LNAI, pp. 811–815). Springer Verlag. https://doi.org/10.1007/3-540-58156-1_66
Mendeley helps you to discover research relevant for your work.