BibTex format
@article{Darlington:1993,
author = {Darlington, J and Guo, Y and Köhler, M},
journal = {Progamming Language Implementation and Logic Programming},
pages = {201--219},
title = {Functional programming languages with logical variables: a linear logic view},
year = {1993}
}
RIS format (EndNote, RefMan)
TY - JOUR
AU - Darlington,J
AU - Guo,Y
AU - Köhler,M
EP - 219
PY - 1993///
SP - 201
TI - Functional programming languages with logical variables: a linear logic view
T2 - Progamming Language Implementation and Logic Programming
ER -