%0 Journal Article %1 journals/logcom/SestiniC18 %A Sestini, Filippo %A Crafa, Silvia %D 2018 %J J. Log. Comput. %K dblp %N 7 %P 1565-1600 %T Proof search in a context-sensitive logic for molecular biology. %U http://dblp.uni-trier.de/db/journals/logcom/logcom28.html#SestiniC18 %V 28

@article{journals/logcom/SestiniC18, added-at = {2025-01-19T00:00:00.000+0100}, author = {Sestini, Filippo and Crafa, Silvia}, biburl = {https://www.bibsonomy.org/bibtex/2274d074b90e41dfa8b5cac1ceeaaec8c/dblp}, ee = {https://www.wikidata.org/entity/Q129322538}, interhash = {d35e82d9dc1a5f112258cbe73ba38e03}, intrahash = {274d074b90e41dfa8b5cac1ceeaaec8c}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 7, pages = {1565-1600}, timestamp = {2025-01-27T07:29:06.000+0100}, title = {Proof search in a context-sensitive logic for molecular biology.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom28.html#SestiniC18}, volume = 28, year = 2018 }