Michael Hanus. PACS: The Portland Aachen Curry System. In WLP. pages 219-221, 2000.
@inproceedings{Hanus00a,
title = {PACS: The Portland Aachen Curry System},
author = {Michael Hanus},
year = {2000},
researchr = {https://researchr.org/publication/Hanus00a},
cites = {0},
citedby = {0},
pages = {219-221},
booktitle = {WLP},
}