Patrick Baillot, Paolo Coppola, Ugo Dal Lago. Light logics and optimal reduction: Completeness and complexity. Inf. Comput., 209(2):118-142, 2011. [doi]
@article{BaillotCL11,
title = {Light logics and optimal reduction: Completeness and complexity},
author = {Patrick Baillot and Paolo Coppola and Ugo Dal Lago},
year = {2011},
doi = {http://dx.doi.org/10.1016/j.ic.2010.10.002},
tags = {completeness, logic},
researchr = {http://researchr.org/publication/BaillotCL11},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {209},
number = {2},
pages = {118-142},
}