%0 Journal Article %1 journals/lmcs/BenediktBB19 %A Benedikt, Michael %A Bourhis, Pierre %A Boom, Michael Vanden %D 2019 %J Logical Methods in Computer Science %K dblp %N 3 %T Definability and Interpolation within Decidable Fixpoint Logics. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs15.html#BenediktBB19 %V 15

@article{journals/lmcs/BenediktBB19, added-at = {2020-01-15T00:00:00.000+0100}, author = {Benedikt, Michael and Bourhis, Pierre and Boom, Michael Vanden}, biburl = {https://www.bibsonomy.org/bibtex/2c9ba3ff245ae6fed6444d450d3344133/dblp}, ee = {https://doi.org/10.23638/LMCS-15(3:29)2019}, interhash = {7c2446b328a8b44c962a4f3ee58f16d2}, intrahash = {c9ba3ff245ae6fed6444d450d3344133}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 3, timestamp = {2020-01-16T11:42:12.000+0100}, title = {Definability and Interpolation within Decidable Fixpoint Logics.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs15.html#BenediktBB19}, volume = 15, year = 2019 }