@article{1de09f81bed240e7a8a367579afa084f,
title = "The complexity of propositional implication",
keywords = "cs.CC, cs.LO",
author = "Olaf Beyersdorff and Arne Meier and Michael Thomas and Heribert Vollmer",
note = "Funding information: ? Research supported in part by DFG grant VO 630/6-1. * Corresponding author. E-mail addresses: beyersdorff@thi.uni-hannover.de (O. Beyersdorff), meier@thi.uni-hannover.de (A. Meier), thomas@thi.uni-hannover.de (M. Thomas), vollmer@thi.uni-hannover.de (H. Vollmer).",
year = "2009",
doi = "10.1016/j.ipl.2009.06.015",
language = "English",
volume = "109",
pages = "1071--1077",
journal = "Information Processing Letters",
issn = "0020-0190",
publisher = "Elsevier",
number = "18",
}
