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}
}