@article{7adb6b11c3534300bc8539f8acc0ad8b,
title = "The completeness of gp-resolution for annotated logics",
keywords = "Automatic theorem proving",
author = "Lu, {James J.} and Henschen, {Lawrence Joseph}",
note = "Funding Information: Correspondence to: J.J. Lu, Department of Computer Science, Bucknell University, Lewisburg, PA 17837, USA. * Research supported in part by the National Science Foundation under grant IRI-9015251.",
year = "1992",
month = nov,
day = "30",
doi = "10.1016/0020-0190(92)90053-X",
language = "English (US)",
volume = "44",
pages = "135--140",
journal = "Information Processing Letters",
issn = "0020-0190",
publisher = "Elsevier",
number = "3",
}