%0 Journal Article %1 journals/logcom/KomendantskayaP16 %A Komendantskaya, Ekaterina %A Power, John %A Schmidt, Martin %D 2016 %J J. Log. Comput. %K dblp %N 2 %P 745-783 %T Coalgebraic logic programming: from Semantics to Implementation. %U http://dblp.uni-trier.de/db/journals/logcom/logcom26.html#KomendantskayaP16 %V 26

@article{journals/logcom/KomendantskayaP16, added-at = {2019-04-05T00:00:00.000+0200}, author = {Komendantskaya, Ekaterina and Power, John and Schmidt, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2651d3515bd13a9ae20d2ecc091b2684a/dblp}, ee = {https://doi.org/10.1093/logcom/exu026}, interhash = {252c7a4cfe4b6982853d607d87d0e7ef}, intrahash = {651d3515bd13a9ae20d2ecc091b2684a}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 2, pages = {745-783}, timestamp = {2019-04-06T11:37:18.000+0200}, title = {Coalgebraic logic programming: from Semantics to Implementation.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom26.html#KomendantskayaP16}, volume = 26, year = 2016 }