%0 Journal Article %1 journals/jlp/StellSR16 %A Stell, John G. %A Schmidt, Renate A. %A Rydeheard, David E. %D 2016 %J J. Log. Algebraic Methods Program. %K dblp %N 4 %P 500-519 %T A bi-intuitionistic modal logic: Foundations and automation. %U http://dblp.uni-trier.de/db/journals/jlp/jlp85.html#StellSR16 %V 85

@article{journals/jlp/StellSR16, added-at = {2020-02-22T00:00:00.000+0100}, author = {Stell, John G. and Schmidt, Renate A. and Rydeheard, David E.}, biburl = {https://www.bibsonomy.org/bibtex/2f516f5d98750846d50bf8e79b360d513/dblp}, ee = {https://www.wikidata.org/entity/Q57949639}, interhash = {3be4f57cddd1cd32a27fbb42b7da57a2}, intrahash = {f516f5d98750846d50bf8e79b360d513}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = 4, pages = {500-519}, timestamp = {2020-02-25T11:42:30.000+0100}, title = {A bi-intuitionistic modal logic: Foundations and automation.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp85.html#StellSR16}, volume = 85, year = 2016 }