Logic Programming in a Fragment of Intuitionistic Linear Logic. Hodas, J. & Miller, D. Information and Computation, 110(2):327–365, 1994.
doi  bibtex   
@article{hodas94ic,
  author = {Joshua Hodas and Dale Miller},
  title = {Logic Programming in a Fragment of Intuitionistic
                 Linear Logic},
  journal = {Information and Computation},
  year = {1994},
  volume = {110},
  number = {2},
  pages = {327--365},
  doi = {10.1006/inco.1994.1036}
}

Downloads: 0