%0 Journal Article %1 journals/tplp/HarrisonL16 %A Harrison, Amelia %A Lierler, Yuliya %D 2016 %J Theory Pract. Log. Program. %K dblp %N 5-6 %P 755-770 %T First-order modular logic programs and their conservative extensions. %U http://dblp.uni-trier.de/db/journals/tplp/tplp16.html#HarrisonL16 %V 16

@article{journals/tplp/HarrisonL16, added-at = {2020-02-13T00:00:00.000+0100}, author = {Harrison, Amelia and Lierler, Yuliya}, biburl = {https://www.bibsonomy.org/bibtex/2a0fe456fda25865f536f80eb55639d38/dblp}, ee = {https://doi.org/10.1017/S1471068416000430}, interhash = {d2be4221c714cd5d6b032a9b23a478a0}, intrahash = {a0fe456fda25865f536f80eb55639d38}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {5-6}, pages = {755-770}, timestamp = {2020-02-14T11:43:53.000+0100}, title = {First-order modular logic programs and their conservative extensions.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp16.html#HarrisonL16}, volume = 16, year = 2016 }