@article{daf33b63c94a4d7f8c0fd382f2af6007,
title = "Craig interpolation for networks of sentences",
keywords = "Craig interpolation, Knowledge base, Network, Partition based reasoning, Peer-to-peer inference",
author = "\{Jerome Keisler\}, H. and Keisler, \{Jeffrey M.\}",
year = "2012",
month = sep,
doi = "10.1016/j.apal.2012.03.001",
language = "English",
volume = "163",
pages = "1322--1344",
journal = "Annals of Pure and Applied Logic",
issn = "0168-0072",
publisher = "Elsevier B.V.",
number = "9",
}