Research output: Contribution to journal › Article › peer-review
339 KB, PDF document
Journal | Theory and Practice of Logic Programming |
---|---|
Date | Accepted/In press - 30 Apr 2018 |
Date | E-pub ahead of print - 2 Aug 2018 |
Date | Published (current) - Sep 2018 |
Issue number | 5-6 |
Volume | 18 |
Number of pages | 34 |
Pages (from-to) | 725-758 |
Early online date | 2/08/18 |
Original language | English |
© Cambridge University Press, 2018 . This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.
Funding: UK Engineering & Physical Sciences Research Council (EPSRC) EP/E030394/1, EP/M003728/1, EP/P015638/1, and EP/P026842/1.
Find related publications, people, projects, datasets and more using interactive charts.