Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper. Translating Refined Logic Programs to Mercury. In Michael J. Oudshoorn, editor, Computer Science 2002, Twenty-Fifth Australasian Computer Science Conference (ACSC2002), Monash University, Melbourne, Victoria, January/February 2002. Volume 4 of CRPIT, pages 33-40, Australian Computer Society, 2002. [doi]
@inproceedings{ColvinHHS02:0,
title = {Translating Refined Logic Programs to Mercury},
author = {Robert Colvin and Ian J. Hayes and David Hemer and Paul A. Strooper},
year = {2002},
url = {http://crpit.com/confpapers/CRPITV4Colvin.pdf},
tags = {translation, logic programming, logic},
researchr = {https://researchr.org/publication/ColvinHHS02%3A0},
cites = {0},
citedby = {0},
pages = {33-40},
booktitle = {Computer Science 2002, Twenty-Fifth Australasian Computer Science Conference (ACSC2002), Monash University, Melbourne, Victoria, January/February 2002},
editor = {Michael J. Oudshoorn},
volume = {4},
series = {CRPIT},
publisher = {Australian Computer Society},
isbn = {0-909-92582-8},
}