IRUS-ANZ has moved. From January 2022, new monthly statistics will only be added to the IRUS R5 service. This site is archived. All statistics up to December 2021 will remain available on this site.
| Repository | University of Melbourne [Minerva Access] |
| URL | http://hdl.handle.net/11343/54784 |
| Author(s) | orcid:0000-0001-5959-3769; orcid:0000-0002-2352-1883; orcid:0000-0003-2186-0459; Gange, G; Navas, JA; Schachte, P; Sondergaard, H; Stuckey, PJ |
| Item type | Article |
| Journal | ACM Transactions on Programming Languages and Systems (TOPLAS), Print_ISSN:0164-0925, Online_ISSN:1558-4593 |
| DOI | https://doi.org/10.1145/2651360 |
Sorry - we've not seen any usage for this item in the last six weeks...
