%0 Journal Article %1 journals/tplp/DodaroR20 %A Dodaro, Carmine %A Ricca, Francesco %D 2020 %J Theory Pract. Log. Program. %K dblp %N 2 %P 225-248 %T The External Interface for Extending WASP. %U http://dblp.uni-trier.de/db/journals/tplp/tplp20.html#DodaroR20 %V 20

@article{journals/tplp/DodaroR20, added-at = {2022-03-16T00:00:00.000+0100}, author = {Dodaro, Carmine and Ricca, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/2292438794040683fae90e61075f62eb5/dblp}, ee = {https://www.wikidata.org/entity/Q111096842}, interhash = {8a0ba62b4fa106745eaf16b3eb6e19c9}, intrahash = {292438794040683fae90e61075f62eb5}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 2, pages = {225-248}, timestamp = {2024-04-09T05:34:40.000+0200}, title = {The External Interface for Extending WASP.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp20.html#DodaroR20}, volume = 20, year = 2020 }