%0 Journal Article %1 journals/tplp/Inclezan16 %A Inclezan, Daniela %D 2016 %J Theory Pract. Log. Program. %K dblp %N 5-6 %P 800-816 %T CoreALMlib: An ALM library translated from the Component Library. %U http://dblp.uni-trier.de/db/journals/tplp/tplp16.html#Inclezan16 %V 16

@article{journals/tplp/Inclezan16, added-at = {2020-02-13T00:00:00.000+0100}, author = {Inclezan, Daniela}, biburl = {https://www.bibsonomy.org/bibtex/260965ba4224cbda1ba98f6bf9c069895/dblp}, ee = {https://doi.org/10.1017/S1471068416000363}, interhash = {cdaa9caabcc23f80e71675c46abcb69c}, intrahash = {60965ba4224cbda1ba98f6bf9c069895}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {5-6}, pages = {800-816}, timestamp = {2020-02-14T11:43:39.000+0100}, title = {CoreALMlib: An ALM library translated from the Component Library.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp16.html#Inclezan16}, volume = 16, year = 2016 }