A. Bowles. Detecting Prolog programming techniques using abstract interpretation. PhD thesis, University of Edinburgh, UK, 1992. [doi]
@phdthesis{ethos-9071, title = {Detecting Prolog programming techniques using abstract interpretation}, author = {A. Bowles}, year = {1992}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.641830}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-9071}, cites = {0}, citedby = {0}, school = {University of Edinburgh, UK}, }